Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Universal instantiation · Vinony

🌐English

English Español Français Nederlands Português 中文日本語

EntityQ784645· pop 8· linked from 62 articles

Universal instantiation

Rule of inference in predicate logic

Available in 8 languages

Español
Français
中文
日本語
Português
Nederlands
Serbian

via Wikidata sitelinks · CC0

Connections

first-order logic

International Standard Book Number

Categories

Predicate logic Rules of inference

Sources

wikipedia.externallinksexternallink

OCLC, Inc.

Entity

commutative property

Willard Van Orman Quine

propositional calculus

distributive property

De Morgan's laws

universal quantification

logical consequence

existential quantification

rule of inference

Gerhard Gentzen

Sign in to save

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

existential instantiation

Entitydist 0.16

Entitydist 0.35

universal quantification

Entitydist 0.37

predicate transformer semantics

Entitydist 0.43

Entitydist 0.44

Entitydist 0.45

hypostatic abstraction

Entitydist 0.48

second-order logic

Entitydist 0.49

Skolem normal form

Entitydist 0.49

conjunction elimination

Entitydist 0.49

zeroth-order logic

Entitydist 0.49

De Morgan's laws

Entitydist 0.51

What links here62 pages

conjunction elimination

rule of inference

Charles Sanders Peirce

modus ponendo tollens

distributive property

existential quantification

disjunction introduction

disjunction elimination

double negation

hypothetical syllogism

universal generalization

law of noncontradiction

principle of excluded middle

negation as failure

Ludwig Wittgenstein

existential generalization

Cantor's theorem

Everybody Loves My Baby

constructive dilemma