Universal instantiation
Sign in to saveRule of inference in predicate logic
In the Vinony graph
Within Vinony's link graph, Universal instantiation is referenced by 62 other articles, and connects out to first-order logic, International Standard Book Number and OCLC, Inc..
Vinony files it under Predicate logic and Rules of inference.
Its subject is documented across 8 Wikipedia language editions.
Connections
first-order logic
Entity
International Standard Book Number
Entity
OCLC, Inc.
Entity
commutative property
Entity
associativity
Entity
Willard Van Orman Quine
Entity
propositional calculus
Entity
distributive property
Entity
De Morgan's laws
Entity
quantifier
Entity
reference
Entity
universal quantification
Entity
modus ponens
Entity
logical consequence
Entity
existential quantification
Entity
modus tollens
Entity
validity
Entity
rule of inference
Entity
contraposition
Entity
Gerhard Gentzen
Entity