Implikacja materialna
Z Wikipedii
Implikacja materialna — zdanie logiczne powstałe przez połączenie dwóch zdań P (poprzednik implikacji) i Q (następnik implikacji) spójnikiem implikacji 
lub 
.
Implikacja materialna jest często mylona z wynikaniem (implikacją logiczną).
Podczas wartościowania implikacja materialna przyjmuje wartości w zależności od wartości logicznych łączonych zdań. Tablica prawdy (matryca logiczna) implikacji, gdzie 1 to prawda, 0 to fałsz:
| P | Q |  |
|---|---|---|
| 0 | 0 | 1 |
| 0 | 1 | 1 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
Implikacja spełnia poniższą równoważność:
która nazywana jest zasadą kontrapozycji. Zasada ta jest podstawą dowodu nie wprost.
- Definicja klasyczna
- Znak "<" przyjęto nazywać znakiem implikacji, od łac. implico – wplatam, dla zaznaczenia, ze następnik jest niejako wpleciony, wwikłany w poprzednik, skoro w prawdziwej implikacji poprzednik nie może być prawdziwy bez prawdziwości następnika. Samo zaś zdanie postaci "p < q", czyli zdanie warunkowe, nazywa się częstokroć wprost implikacją. (T. Kotarbiński, Elementy teorii poznania, logiki formalnej i metodologii nauk, Warszawa, PWN, 1986 (1929), str. 140)
[edytuj] 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⇒1), bo inaczej obietnica zostanie złamana (1⇒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łoch wynika, że 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 "Z tego, że księżyc jest z sera wynika, że 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.
[edytuj] Zobacz też
- przegląd zagadnień z zakresu matematyki
- rachunek zdań
- prawa rachunku zdań
- alternatywa
- alternatywa wykluczająca
- dysjunkcja
- koniunkcja
- negacja
- równoważność
- NAND
- NOR
- algebra Boole'a
- wynikanie
| ONZ: Izrael najpierw ewakuował Palestyńczyków, a potem ich ostrzelał |
|
Przynajmniej 30 Palestyńczyków zginęło w Strefie Gazy w ostrzale domu, do którego zostali wcześniej ewakuowani przez izraelskich żołnierzy - wynika z raportu ONZ.
|
| "Nie myślałem, że minister się tak prostytuuje" |
|
Posłanka PiS Grażyna Gęsicka, wzywając rząd do odpowiedzialności za niewykorzystanie funduszy unijnych manipuluje opinią publiczną - ocenił w TVN24 poseł PO Janusz Palikot.
|
| Wypadek na drodze Wrocław-Legnica |
|
Jedna osoba została ranna w wyniku wypadku, do którego doszło w piątek wieczorem niedaleko miejscowości Mazurowice (Dolnośląskie). Droga krajowa nr 94 Wrocław - Legnica została całkowicie zablokowana.
|
| Omar Faris: Niech Izrael opuści nasze ziemie |
|
- Niech Izrael opuści nasze ziemie, a gwarantujemy, że ani jedna rakieta nie spadnie na ich ziemie - mówił przewodniczący Palestyńskiej Koalicji na rzecz Prawa do Powrotu Omar Faris, gość CZATerii w INTERIA.PL.
|
| Juszczenko: Konflikt gazowy był zaplanowany |
|
Ukraina pozwoli rosyjskim obserwatorom na wjazd na jej terytorium w celu nadzorowania tranzytu rosyjskiego gazu do Europy - poinformował prezydent Ukrainy Wiktor Juszczenko po spotkaniu z czeskim premierem Mirkiem Topolankiem w Kijowie.
|