Universal instantiation
Sign in to saveRule of inference in predicate logic
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