Poprzednia

ⓘ Reguła opuszczania koniunkcji




                                     

ⓘ Reguła opuszczania koniunkcji

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 }}}