Az igazságtáblák egy stratégiai logika, amely egyszerűen megállapítja több javaslat érvényességét bármilyen helyzetben, azaz meghatározza azokat a feltételeket, amelyek ahhoz szükségesek, hogy egy javasolt állítás igaz legyen, lehetővé téve a tautológiai besorolást (minden helyzetre igaz).) ellentmondásos (az állítások a legtöbb esetben hamisak) vagy esetlegesek (az olyan állítások, amelyek nem lehetnek sok igazak és hamisak, nem hajlanak egy irányba).
Lehetővé teszi az állítás különböző aspektusait, például az igazivá tétel feltételeit és a logikai következtetéseit, vagyis ha a javasolt állítás igaz vagy hamis. Ezt a táblázatot Charles Sander Peirce dolgozta ki 1880 körül, de a legszélesebb körben Luidwin Wittgenstein 1921-ben frissített modellje volt.
A táblázat felépítése egy betű használatán alapszik az eredményváltozóknál, és ezek teljesülnek, és igaznak mondják őket, ellenkező esetben, ha nem teljesülnek, a hamis nevet kapják, például:: "Ha megmozdulunk, a kutyám meghal . " Változók: A: Ha mozog- B: a kutya meghal.
Ha azt mondják, hogy mindkét változóra igaz, akkor az (V) betű hozzárendelődik, és az állítás pozitivitását képviseli, ha néhány változó nem teljesül, az (F) betűt hozzárendelik hozzájuk, ez nem jelenti az állítás hamisságát, Ha csak egy változó teljesül, akkor igaznak lehet jelölni, ez az állítástól függ. Amikor mindkét érték mindig igaz, akkor azt mondják, hogy ragozás van az állításban, másrészt ha két igaz eredményt kapunk, majd az egyik igaz, a másik hamis, akkor azt mondják, hogy disszjunkció van.
