Reguła opuszczania alternatywy

Ten artykuł od 2011-05 wymaga zweryfikowania podanych informacji. Należy podać wiarygodne źródła, najlepiej w formie przypisów bibliograficznych. Część lub nawet wszystkie informacje w artykule mogą być nieprawdziwe. Jako pozbawione źródeł mogą zostać zakwestionowane i usunięte. Dokładniejsze informacje o tym, co należy poprawić, być może znajdują się w dyskusji tego artykułu. Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu.

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

${\displaystyle \alpha \lor \beta }$

${\displaystyle \neg \alpha }$

${\displaystyle \beta }$

Zobacz też

• alternatywa
• prawa rachunku zdań