Reguła opuszczania koniunkcji

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

${\frac {\alpha \land \beta }{\alpha }}$

i

${\frac {\alpha \land \beta }{\beta }}$