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.

$\alpha \land \beta$

$\alpha$

i

$\alpha \land \beta$

$\beta$