constructive dilemma
Sign in to saveRule of inference of propositional logic
Connections
logic
Entity
theorem
Entity
commutative property
Entity
associativity
Entity
inference
Entity
propositional calculus
Entity
distributive property
Entity
logical disjunction
Entity
De Morgan's laws
Entity
material implication
Entity
tautology
Entity
first-order logic
Entity
formal system
Entity
modus ponens
Entity
logical consequence
Entity
modus tollens
Entity
validity
Entity
rule of inference
Entity
contraposition
Entity
metalogic
Entity