Reguła opuszczania alternatywy

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

$\alpha \vee \beta$

$\mathrm{\neg }\alpha$

$\beta$

Zobacz też

• alternatywa
• prawa rachunku zdań