Reguła opuszczania alternatywy – reguła dowodzenia mówiąca, że jeśli zaakceptujemy prawdziwość alternatywy oraz prawdziwość to musimy zaakceptować też gdzie i stanowią zmienne metajęzykowe, za które podstawiać można formuły KRZ.
{|style="border-spacing:0px"
Zobacz też alternatywa prawa rachunku zdań
Kategoria:Prawa rachunku zdań