Reguła opuszczania alternatywy

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

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ż[edytuj | edytuj kod]