Reguła odrywania – oparta na prawie rachunku zdań modus ponens reguła przekształcania jednych formuł zdaniowych w inne formuły zdaniowe przyjmowana na gruncie rachunku zdań. W pierwotnej formie sformułowana w logice stoików. Część autorów termin „reguła odrywania” rozumie szerzej, mianowicie regułę odrywania dla równoważności o analogicznej do reguły odrywania (dla implikacji) postaci.

Reguła głosi, że jeżeli tezami systemu są wyrażenie o postaci i wyrażenie to do systemu wolno dołączyć wyrażenie Schemat reguły zapisuje się następująco:

DefinicjaEdytuj

Niech   będzie językiem zdaniowym i niech   będzie spójnikiem dwuargumentowym, tj.  

Regułą odrywania dla spójnika   nazywamy regułę wnioskowania:

 

gdzie  

Zobacz teżEdytuj