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.