Reguła opuszczania koniunkcji

Szablon:Dopracować Reguła opuszczania koniunkcji – reguła dowodzenia mówiąca, że jeśli uznajemy prawdziwość koniunkcji $\alpha \wedge \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 \wedge \beta }{\alpha }$

i

$\frac{\alpha \wedge \beta }{\beta }$