Biconditional introduction
Sign in to saveInference in propositional logic
Connections
theorem
Entity
commutative property
Entity
associativity
Entity
inference
Entity
propositional calculus
Entity
distributive property
Entity
De Morgan's laws
Entity
if and only if
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
converse
Entity