Reguła odrywania
Z Wikipedii
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. 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 wyglada więc następująco:
Część autorów termin "reguła odrywania" rozumie szerszej, podając pod tym terminem także regułę odrywania dla równoważności o analogicznej do reguły odrywania (dla implikacji) postaci.