# FELADATOK -- 4.2.6. Néhány logikai törvény (5) bizonyítása
A | B | ha B akkor A | (5)
i | i | i | i
h | i | h | i
h | h | i | i

(7) bizonyítása

A | B | ha B akkor A | nem A | nem B | ha nem A akkor nem B | (7)
i | i | i | h | h | i | i
i | h | i | h | i | i | i
h | i | h | i | h | h | i
h | h | i | i | i | i | i

(18) bizonyítása

A | B | A vagy B | nem (A vagy B) | nem A | nem B | nem A és nem B
i | i | i | h | h | h | h
i | h | i | h | h | i | h
h | i | i | h | i | h | h
h | h | h | i | i | i | i

Mivel a két jelölt oszlop sorról-sorra megegyezik, (18) valóban ekvivalencia.