Loading AI tools
Från Wikipedia, den fria encyklopedin
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.
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. |
Logisk operator (Logisk grind) |
---|
|
Se även |
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 |
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.