Sanningsvärdetabell
Sanningsvärdetabell är en teknik inom logiken utvecklad av Charles Peirce på 1880-talet för att analysera och bestämma ett logiskt uttrycks sanningsvärde. Tekniken används främst i klassisk bivalent logik där endast två sanningsvärden, sant eller falskt är möjliga, men även i system av flervärd logik med begränsat antal sanningsvärden.
|
|---|
| Logisk operator (Logisk grind) |
|
| Se även |
Exempel redigera
Tabellerna nedan visar resultatet av logiska operationer för samtliga kombinationer av sanningsvärden på de ingående variablerna.
(s = sant, f = falskt)
|
|
| ||||||||||||||||||||||||||||||||||||
|
|
Ett mer sammansatt exempel (jämför med implikation ovan):
| A | B | A ∧ ¬ B | ¬(A ∧ ¬ B) |
| s | s | f | s |
| s | f | s | f |
| f | s | f | s |
| f | f | f | s |
Referenser redigera
- Hansen, Kaj Børge. (2007). Grundläggande logik. TPB. OCLC 939918739. http://worldcat.org/oclc/939918739. Läst 12 juni 2019
Se även redigera