Tieto pravdivostná tabuľky je stratégia, logika jednoducho to, že stanovuje platnosť niekoľko návrhov, pokiaľ ide o akejkoľvek situácii, teda určuje podmienky nevyhnutné na to bola pravda navrhovanej vyhlásenia, čo je zaradený do tautologické (platí pre každú situáciu) rozporuplné (tvrdenia sú vo väčšine prípadov nepravdivé) alebo kontingentné (tvrdenia, ktoré nemôžu byť pravdivé a nepravdivé, nie sú naklonené jedným smerom).
Umožňuje rôzne aspekty výroku, napríklad podmienky, ktoré ho robia pravdivými, a aké sú jeho logické závery, to znamená, či je navrhovaný výrok pravdivý alebo nepravdivý. Túto tabuľku navrhol Charles Sander Peirce okolo roku 1880, ale najpoužívanejším je aktualizovaný model od Luidwina Wittgensteina v roku 1921.
Konštrukcia tabuľky je založená na použití písmena pre výsledné premenné a sú splnené a sú údajne pravdivé, v opačnom prípade, ak nie sú splnené, je im priradený názov false, napríklad: Výrok: "Ak sa pohneme, môj pes zomrie . " Premenné: A: Ak sa pohybuje - B: pes zomrie.
Ak sa hovorí, že je to pravda pre obe premenné, priraďuje sa písmeno (V) a predstavuje pozitivitu výroku, ak niektoré z premenných nie sú splnené, je im priradené písmeno (F), neznamená to nepravdivosť výroku, pretože pri Ak je splnená iba jedna premenná, dá sa označiť ako pravdivá, bude to závisieť od výroku. Ak sú obidve hodnoty vždy pravdivé, hovorí sa, že vo výroku existuje konjugácia, na druhej strane, ak sa získajú dva pravdivé výsledky a potom jeden pravdivý a druhý nepravdivý, hovorí sa o disjunkcii.
