Reguła opuszczania koniunkcji

Ten artykuł od 2012-11 wymaga zweryfikowania podanych informacji. Należy podać wiarygodne źródła, najlepiej w formie przypisów bibliograficznych. Część lub nawet wszystkie informacje w artykule mogą być nieprawdziwe. Jako pozbawione źródeł mogą zostać zakwestionowane i usunięte. Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu.

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

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

i

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