De sandhedstabeller er en strategi, logik simpelthen som etablerer gyldigheden af flere forslag vedrørende enhver situation, det vil sige, bestemmer de betingelser, der er nødvendige til at være sandt en foreslået erklæring, tillader klassificeres i tautologisk (er sandt for enhver situation) modstridende (udsagn er i de fleste tilfælde falske) eller betingede (udsagn, der ikke kan være mange sande og falske, er ikke tilbøjelige til en retning).
Det tillader forskellige aspekter af udsagnet, såsom betingelserne, der gør det sandt, og hvad er dets logiske konklusioner, det vil sige, hvis den foreslåede erklæring er sand eller falsk. Denne tabel blev udtænkt af Charles Sander Peirce omkring 1880, men den mest anvendte er den opdaterede model af Luidwin Wittgenstein i 1921.
Opbygningen af tabellen er baseret på brugen af et bogstav til resultatvariablerne, og de er opfyldt, og de siges at være sande, i modsat tilfælde, at de ikke er opfyldt, får de navnet falsk, for eksempel: Erklæring: "Hvis vi bevæger os, dør min hund . " Variabler: A: Hvis den bevæger sig - B: hunden dør.
Hvis det siges at være sandt for begge variabler, tildeles bogstavet (V) og repræsenterer udsagnets positivitet. Hvis nogle af variablerne ikke er opfyldt, tildeles bogstavet (F) dem, dette repræsenterer ikke falskheden i udsagnet, da med Hvis kun en variabel er opfyldt, kan den betegnes som sand, hvilket afhænger af udsagnet. Når begge værdier altid er sande, siges det, at der er en bøjning i udsagnet, på den anden side, hvis der opnås to sande resultater og derefter den ene sand og den anden falsk, siges det, at der er en adskillelse.
