User:Ascii/ProofWiki Sampling Notes for Theorems/Propositional Logic


 * $(\,\,)$ 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