Implikacja materialna: Różnice pomiędzy wersjami

[wersja nieprzejrzana][wersja nieprzejrzana]
Usunięta treść Dodana treść
MatmaBot (dyskusja | edycje)
MatmaBot (dyskusja | edycje)
Linia 36:
 
== Przykłady ==
Intuicja: implikację można traktować jako obietnicę: "obiecuję, że jeśli dostanę dwójkę z matematyki to zacznę odrabiać zadania". Jeśli rzeczywiście tak się stanie (poprzednik implikacji będzie prawdziwy), to muszę odrabiać zadania (1⇒11⇒1), bo inaczej obietnica zostanie złamana (1⇒01⇒0 fałsz!). W każdym innym przypadku implikacja będzie prawdziwa, bo obietnica zostanie spełniona (dostałam piątkę, mogę albo odrabiać zadania albo sobie odpuścić).
 
* Zdanie "Z tego, że [[Rzym]] jest stolicą [[Włochy|Włoch]] wynika, że [[Warszawa]] jest stolicą [[Francja|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).