În tabele de adevăr este o logică strategie pur și simplu, care stabilește validitatea mai multor propuneri cu privire la orice situație, și anume, stabilește condițiile necesare pentru a fi adevărat o declarație propusă, care să permită clasificate în tautologică (sunt adevărate pentru orice situație) contradictorii (afirmațiile sunt false în majoritatea cazurilor) sau contingente (afirmațiile care nu pot fi multe adevărate și false nu sunt înclinate către o singură direcție).
Permite diferite aspecte ale afirmației, cum ar fi condițiile care o fac adevărată și care sunt concluziile sale logice, adică dacă afirmația propusă este adevărată sau falsă. Acest tabel a fost conceput de Charles Sander Peirce în jurul anului 1880, dar cel mai utilizat este modelul actualizat de Luidwin Wittgenstein în 1921.
Construcția tabelului se bazează pe utilizarea unei litere pentru variabilele de rezultat și acestea sunt îndeplinite și se spune că sunt adevărate, în caz contrar că nu sunt îndeplinite, li se atribuie numele de fals, de exemplu: Declarație: „Dacă ne mutăm, câinele meu moare” . Variabile: A: Dacă se mișcă- B: câinele moare.
Dacă se spune că este adevărat pentru ambele variabile, litera (V) este atribuită și reprezintă pozitivitatea declarației, dacă unele dintre variabile nu sunt îndeplinite, litera (F) este atribuită, aceasta nu reprezintă falsitatea declarației, deoarece cu Dacă o singură variabilă este satisfăcută, aceasta poate fi desemnată ca fiind adevărată, care va depinde de instrucțiune. Când ambele valori sunt adevărate în orice moment, se spune că există o conjugare în enunț, pe de altă parte, dacă se obțin două rezultate adevărate și apoi una adevărată și cealaltă falsă, se spune că există o disjuncție.
