|
Den här artikeln har källhänvisningar, men eftersom det saknas fotnoter är det svårt att avgöra vilken uppgift som är hämtad var. (2024-08) Hjälp gärna till med att redigera artikeln, eller diskutera saken på diskussionssidan. |
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.
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
Referenser