universal generalization
Sign in to saverule in predicate logic
Connections
first-order logic
Entity
commutative property
Entity
associativity
Entity
propositional calculus
Entity
distributive property
Entity
De Morgan's laws
Entity
modus ponens
Entity
validity
Entity
modus tollens
Entity
contraposition
Entity
rule of inference
Entity
hypothetical syllogism
Entity
deduction theorem
Entity
disjunctive syllogism
Entity
faulty generalization
Entity
double negation
Entity
modus ponendo tollens
Entity
conjunction elimination
Entity
Universal instantiation
Entity
disjunction introduction
Entity