Materiell implikation
Wikipedia
 |
Denna artikel är för närvarande under omarbetning i enlighet med Wikipedia:Projekt Logik. |
Materiell implikation är en konnektiv i den klassiska satslogiken, "om-så". Betecknas med '→' .
Satsen p → q är sann om antingen satsen q är sann eller satsen p är falsk. p→q är ett skrivsätt för ¬p Ú q (klausul). Detta kan beskrivas med följande sanningstabell:
| p | q | p → q | ¬p v q |
| s | s | s | s |
| s | f | f | f |
| f | s | s | s |
| f | f | s | s |
Implikation motsvaras i det dagliga språket av orden "om ... så", men inte exakt. När man säger "Om jag hade pengar, skulle jag köpa en bil" uttalar man sig inte om det fall då jag inte hade några pengar. Inom den klassiska satslogiken är uttalandet alltid sant om jag inte har några pengar. För att skilja på dessa båda betydelser av implikation kallar man den klassiska tolkningen som beskrivs av sanningstabellen ovan för materiell implikation och den som ligger det talade språket närmare, för villkorlig implikation.
Se också
- hypotetisk
- implikationsparadoxer
- logisk konjunktion
- logisk disjunktion
- logisk negation
- logisk implikation
- logisk ekvivalens
negation | konjunktion | disjunktion | implikation | ekvivalens
NOT | AND | OR | XOR | NAND | NOR | XNOR
