Från Rilpedia
(Omdirigerad från
Tabellmetoden)
Texten från svenska Wikipedia
Sanningsvärdetabell (eller ofta bara sanningstabell, som är en direktöversättning av engelska truth table) ä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.
Exempel
Tabellerna nedan visar resultatet av logiska operationer för samtliga kombinationer av sanningsvärden på de ingående variablerna.
(s = sant, f = falskt)
Logisk konjunktion (∧)
| A |
B |
A ∧ B |
| s |
s |
s |
| s |
f |
f |
| f |
s |
f |
| f |
f |
f |
|
Logisk disjunktion (∨)
| A |
B |
A ∨ B |
| s |
s |
s |
| s |
f |
s |
| f |
s |
s |
| f |
f |
f |
|
|
|
Logisk implikation (→)
| A |
B |
A → B |
| s |
s |
s |
| s |
f |
f |
| f |
s |
s |
| f |
f |
s |
|
Logisk ekvivalens (↔)
| A |
B |
A ↔ B |
| s |
s |
s |
| s |
f |
f |
| f |
s |
f |
| f |
f |
s |
|
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 |
Se även
