De sanningstabeller är en strategi logik helt enkelt att fast giltigheten av flera förslag om varje situation, det vill säga bestämmer villkoren som krävs för att vara sant en föreslagen uttalande, vilket delas in tautological (är sant för alla situationer) motsägelsefulla (uttalanden är falska i de flesta fall) eller villkorade (uttalanden som inte kan vara många sanna och falska är inte benägna i en riktning).
Det tillåter olika aspekter av uttalandet, såsom villkoren som gör det sant och vad är dess logiska slutsatser, det vill säga om det föreslagna uttalandet är sant eller falskt. Denna tabell utformades av Charles Sander Peirce omkring 1880, men den mest använda är den uppdaterade modellen av Luidwin Wittgenstein 1921.
Tabellens konstruktion baseras på användningen av en bokstav för resultatvariablerna och de uppfylls och de sägs vara sanna, i motsatt fall att de inte uppfylls tilldelas de namnet falskt, till exempel: Uttalande: "Om vi flyttar, dör min hund . " Variabler: A: Om den rör sig - B: hunden dör.
Om det sägs vara sant för båda variablerna tilldelas bokstaven (V) och representerar påståendets positivitet, om några av variablerna inte uppfylls tilldelas bokstaven (F) dem, detta representerar inte felaktigheten i uttalandet eftersom med Om bara en variabel är nöjd kan den betecknas som sann, det beror på påståendet. När båda värdena är sanna hela tiden sägs det att det finns en konjugering i uttalandet, å andra sidan, om två sanna resultat erhålls och sedan ett sant och det andra falskt, sägs det att det finns en disjunktion.
