User:Xiong
User:Xiong/Sandbox
User:Xiong/Background
strategy:User:Xiong
en:q:
Transformation rules
Propositional calculus
Rules of inference
Implication introduction
/
elimination (
modus ponens
)
Biconditional introduction
/
elimination
Conjunction introduction
/
elimination
Disjunction introduction
/
elimination
Disjunctive
/
hypothetical syllogism
Constructive
/
destructive dilemma
Absorption
/
modus tollens
/
modus ponendo tollens
Negation introduction
Rules of replacement
Associativity
Commutativity
Distributivity
Double negation
De Morgan's laws
Transposition
Material implication
Exportation
Tautology
Predicate logic
Rules of inference
Universal generalization
/
instantiation
Existential generalization
/
instantiation
Potting bench
drawn in cabinet view
Purge
