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 oraz prawdziwość to musimy zaakceptować też , gdzie i stanowią zmienne metajęzykowe, za które podstawiać można formuły KRZ.


Zobacz też[edytuj]