Reguła opuszczania koniunkcji

Z Wikipedii, wolnej encyklopedii
Przejdź do nawigacji Przejdź do wyszukiwania

Reguła opuszczania koniunkcjireguła dowodzenia mówiąca, że jeśli uznajemy prawdziwość koniunkcji , to musimy uznać też każdy z pojedycznych członów tej koniunkcji, to jest oraz , gdzie i stanowią zmienne metajęzykowe, za które podstawiać można formuły KRZ.


i