Implikacja materialna: Różnice pomiędzy wersjami

[wersja przejrzana][wersja nieprzejrzana]
Usunięta treść Dodana treść
MoreNet (dyskusja | edycje)
mNie podano opisu zmian
Linia 39:
 
* 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{{fakt}}, 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''.