Reguła opuszczania koniunkcji – reguł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

Kategoria:Prawa rachunku zdań