Afleidingsregels
| Naam | Premissen | Conclusie | Afkorting |
|---|---|---|---|
| Simplificatie | p&q | p | (Simp) |
| Additie | p | p∨q | (Add) |
| Conjunctie | p, q | p&q | (Conj) |
| Disjunctief syllogisme | p∨q, ¬p | q | (DS) |
| Modus Ponens | p→q, p | q | (MP) |
| Modus Tollens | p→q, ¬q | ¬p | (MT) |
| Hypothetisch syllogisme | p→q, q→r | p→r | (HS) |
| Absorptie | p→q | p→(p&q) | (Abs) |
| Constructief dilemma | (p→q)&(r→s), p∨r | q∨s | (CD) |
Hiernaast worden vervangingsregels en constructies als AD (Als-dan bewijs) en KN (Kwantificatie Negatie) gebruikt. Wanneer de term afleidingsregels gebruikt wordt, worden vaak ook deze bedoeld.