Reguła Odrywania

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 ${\displaystyle \alpha \Rightarrow \beta }$ i wyrażenie ${\displaystyle \alpha ,}$ to do systemu wolno dołączyć wyrażenie ${\displaystyle \beta .}$ Schemat reguły zapisuje się następująco:

${\displaystyle {\frac {(\alpha \Rightarrow \beta ),\alpha }{\beta }}}$

Niech ${\displaystyle {\mathcal {L}}=\langle P,{\mathfrak {F}},\varsigma \rangle }$  będzie językiem zdaniowym i niech ${\displaystyle {\mathfrak {f}}\in {\mathfrak {F}}}$  będzie spójnikiem dwuargumentowym, tj. ${\displaystyle \varsigma ({\mathfrak {f}})=2.}$ 

Regułą odrywania dla spójnika ${\displaystyle {\mathfrak {f}}}$  nazywamy regułę wnioskowania:

${\displaystyle {\frac {\alpha ,\;{\mathfrak {f}}\alpha \beta }{\beta }},}$ 

gdzie ${\displaystyle \alpha ,\beta \in \operatorname {Frm} ({\mathcal {L}})}$ 

• system formalny
• twierdzenie o dedukcji