Reguła opuszczania koniunkcji

Ten artykuł od 2012-11 wymaga zweryfikowania podanych informacji.

Należy podać wiarygodne źródła 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.
Sprawdź w źródłach: Encyklopedia PWN • Google Books • Google Scholar • Federacja Bibliotek Cyfrowych • BazHum • BazTech • RCIN • Internet Archive (texts / inlibrary)
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 $\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 }}