Den sannheten tabeller er en strategi logikk bare som etablerer gyldigheten av flere forslag angående enhver situasjon, dvs. bestemmer forholdene er nødvendig for å være sant et forslag til erklæring, slik klassifisert i tautological (er sant for enhver situasjon) motstridende (uttalelser er falske i de fleste tilfeller) eller betingede (uttalelser som ikke kan være mange sanne og falske, er ikke tilbøyelige til en retning).
Det tillater forskjellige aspekter av utsagnet, for eksempel forholdene som gjør det sant og hva er dets logiske konklusjoner, det vil si hvis den foreslåtte uttalelsen er sant eller usant. Denne tabellen ble utviklet av Charles Sander Peirce rundt 1880, men den mest brukte er den oppdaterte modellen av Luidwin Wittgenstein i 1921.
Konstruksjonen av tabellen er basert på bruk av en bokstav for resultatvariablene, og de er oppfylt og de sies å være sanne, i motsatt tilfelle at de ikke oppfylles, får de navnet falsk, for eksempel: Uttalelse: "Hvis vi beveger oss, dør hunden min . " Variabler: A: Hvis den beveger seg - B: hunden dør.
Hvis det sies å være sant for begge variablene, tildeles bokstaven (V) og representerer utsagnets positivitet. Hvis noen av variablene ikke oppfylles, tildeles bokstaven (F), dette representerer ikke usannheten i utsagnet siden med Hvis bare en variabel er oppfylt, kan den betegnes som sann, som vil avhenge av utsagnet. Når begge verdiene er sanne til enhver tid, sies det at det er en bøyning i utsagnet, derimot, hvis to sanne resultater oppnås og deretter den ene sanne og den andre falske, sies det at det er en disjunksjon.
