Pravidlo modus ponens

pravidlo modus ponens = pravidlo odlúčenia

- znie: Ak sme odvodili vetu 'ak A, tak B' a vetu 'A', tak možno odvodiť aj vetu 'B'.Toto pravidlo sa dá vždy jednorazovo automaticky uplatniť ( L53;234).