User:Ascii/ProofWiki Sampling Notes for Theorems/Propositional Logic
Jump to navigation
Jump to search
- $(\,\,)$ Rule of Assumption
- $(\neg)$ Double Negation Introduction, Double Negation Elimination
- $(\implies)$
- $(\land)$ Rule of Conjunction, Rule of Simplification
- $(\lor)$ Rule of Addition, Proof by Cases