Tyto pravdivostní tabulky je strategie, logika jednoduše to, že stanoví platnost několik návrhů, pokud jde o jakékoli situaci, tedy určuje podmínky nezbytné pro to byla pravda navrhované prohlášení, což je zařazen do tautologické (platí pro každou situaci) rozporuplné (výroky jsou ve většině případů nepravdivé) nebo kontingentní (výroky, které nemohou být pravdivé a nepravdivé, nejsou nakloněny jednomu směru).
Umožňuje různé aspekty výroku, například podmínky, které jej činí pravdivým, a jaké jsou jeho logické závěry, tj. Jestli je navrhovaný výrok pravdivý nebo nepravdivý. Tuto tabulku vytvořil Charles Sander Peirce kolem roku 1880, ale nejpoužívanějším je aktualizovaný model Luidwina Wittgensteina v roce 1921.
Konstrukce tabulky je založena na použití písmene pro výsledné proměnné a jsou splněny a říká se, že jsou pravdivé, v opačném případě, že nejsou splněny, je jim přiřazen název false, například:: "Pokud se pohneme, můj pes zemře . " Proměnné: A: Pokud se pohybuje - B: pes umírá.
Pokud se říká, že platí pro obě proměnné, je přiřazeno písmeno (V) a představuje pozitivitu příkazu, pokud některé z proměnných nejsou splněny, je jim přiřazeno písmeno (F), nepředstavuje to nepravdivost příkazu, protože Pokud je splněna pouze jedna proměnná, lze ji označit jako true, to bude záviset na příkazu. Pokud jsou obě hodnoty vždy pravdivé, říká se, že ve výroku existuje konjugace, na druhou stranu, pokud jsou získány dva pravdivé výsledky a pak jeden pravdivý a druhý nepravdivý, říká se, že existuje disjunkce.
