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.