existential generalization
Sign in to saveAlso known as existential rules
inference rule that infers “there exists an A that is B” from “A is B”
Connections
first-order logic
Entity
existential quantification
Entity
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
modus ponens
Entity
modus tollens
Entity
validity
Entity
contraposition
Entity
rule of inference
Entity
hypothetical syllogism
Entity
disjunctive syllogism
Entity