W tablica prawdy jest logika strategia po prostu, że ustanawia ważność kilku wniosków dotyczących wszelkich sytuacji, to znaczy określa warunki niezbędne, aby być prawdziwe proponowanego komunikatu, dzięki czemu klasyfikuje się tautologią (są prawdziwe dla każdej sytuacji) sprzeczne (stwierdzenia są w większości przypadków fałszywe) lub przypadkowe (stwierdzenia, których nie może być wiele, prawdziwe i fałszywe nie są skłaniające do jednego kierunku).
Pozwala na różne aspekty stwierdzenia, takie jak warunki, które czynią je prawdziwym i jakie są jego logiczne wnioski, to znaczy, czy proponowane stwierdzenie jest prawdziwe, czy fałszywe. Ta tabela została opracowana przez Charlesa Sandera Peirce'a około 1880 roku, ale najczęściej używany jest zaktualizowany model Luidwina Wittgensteina z 1921 roku.
Konstrukcja tabeli opiera się na użyciu litery dla zmiennych wynikowych i są one spełnione i mówi się, że są prawdziwe, w przeciwnym przypadku, gdy nie są spełnione, przypisuje się im nazwę fałsz, na przykład: Oświadczenie: "Jeśli się ruszymy, mój pies zginie . " Zmienne: A: Jeśli się rusza- B: pies umiera.
Jeśli mówi się, że jest prawdziwa dla obu zmiennych, litera (V) jest przypisana i reprezentuje pozytywność wypowiedzi, jeśli niektóre zmienne nie są spełnione, przypisywana jest do nich litera (F), nie oznacza to fałszu stwierdzenia, ponieważ z Jeśli tylko jedna zmienna jest spełniona, można ją określić jako prawdziwą, co będzie zależało od instrukcji. Kiedy obie wartości są zawsze prawdziwe, mówi się, że w zdaniu występuje koniugacja, z drugiej strony, jeśli otrzymamy dwa prawdziwe wyniki, a następnie jeden prawdziwy, a drugi fałszywy, mówi się, że istnieje rozłączenie.