Н├(А→А)→((А→В)→(А)), (3)
Н├В→(А→В), (4)
А→А формуласы дәлелденетін, онда Н├А→А. (5)
(5) және (3) формулалардан қорытындылау ережесі бойынша Н├(А→В)→(А)) (6)
алынады.
(2) және (4) формулалардан қорытындылау ережесі бойынша:
Н├А→В . (7)
(7) және (6) формулалардан қорытындылау ережесі бойынша: Н├А . (8)
Соңында (1) және (8) формулалардан
Достарыңызбен бөлісу: |