Reguła opuszczania alternatywy

Reguła opuszczania alternatywy – reguła dowodzenia mówiąca, że jeśli zaakceptujemy prawdziwość alternatywy $\alpha \lor \beta$ oraz prawdziwość $\lnot \alpha ,$ to musimy zaakceptować też $\beta ,$ gdzie $\alpha$ i $\beta$ stanowią zmienne metajęzykowe, za które podstawiać można formuły KRZ.

$\alpha \lor \beta$

$\neg \alpha$

$\beta$

Zobacz też

• alternatywa
• prawa rachunku zdań