| Transformazio-arauak |
|---|
| Logika proposizionala |
|
| Modus ponens / Modus tollens |
| Biconditional introduction / elimination |
| Conjunction introduction / elimination |
| Disjunction introduction / elimination |
| Disjunctive / Hypothetical syllogism |
| Constructive / Destructive dilemma |
| Absorption |
| Modus ponendo tollens |
|
| Associativity |
| Commutativity |
| Distributivity |
| Double negation |
| De Morgan's laws |
| Transposition |
| Material implication |
| Exportation |
| Tautologia |
| Negation introduction |
| Universal generalization / instantiation |
| Existential generalization / instantiation |
