Zdanie „Jeśli Rzym jest stolicą Włoch, to Warszawa jest stolicą Francji” jest fałszywe, zarówno w interpretacji intuicjonistycznej (bo jedno z drugiego w żaden sposób nie wynika), jak i klasycznej (bo poprzednik jest prawdziwy, zaś następnik fałszywy). Zdanie „Jeśli Księżyc jest z sera, to Warszawa jest stolicą Francji” jest w interpretacji intuicjonistycznej fałszywe (bo jedno z drugim nie ma żadnego związku), natomiast w interpretacji klasycznej prawdziwe, bo poprzednik jest fałszywy, więc wynika z niego wszystko. Zdanie „Jeśli n jest podzielne przez 4, to jest podzielne przez 2" jest prawdziwe w obu interpretacjach dla dowolnego n.
Własności W klasycznym rachunku zdań implikacja spełnia równoważność:
która nazywana jest zasadą kontrapozycji.
Ponadto prawdziwa jest też równoważność:
Przypisy
Bibliografia
Linki zewnętrzne
Kategoria:Spójniki logiczne