Reguła opuszczania alternatywy

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacji, wyszukiwania
Question book-4.svg
 Ten artykuł od 2011-05 wymaga uzupełnienia źródeł podanych informacji.
Możliwe, że ten artykuł w całości albo w części zawiera informacje nieprawdziwe. Informacje bez źródeł w każdej chwili mogą zostać zakwestionowane i usunięte.
Pomóż Wikipedii i dodaj przypisy do materiałów opublikowanych w wiarygodnych źródłach.

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]

Źródło „http://pl.wikipedia.org/w/index.php?title=Reguła_opuszczania_alternatywy&oldid=26648169”