A wiec ja to robilem w ten sposob:
(p ^ p) <=> p
przyjmijmy ze p jest prawdziwe. Koniunkcja (p^p) jest wtedy prawdziwa, zatem cale prawo logiczne jest prawdziwe
(p v p) <=> p
przyjmijmy ze p jest prawdziwe. Alternatywa (p v p) jest wtedy prawdziwa, zatem cale prawo logiczne jest prawdziwe
Proste i logiczne
