У таблицях істинності є логічною стратегією просто, що встановлює справедливість декількох пропозицій в відношенні будь-якій ситуації, тобто, визначає умови, необхідні, щоб бути правда пропонованого затвердження, що дозволяє класифікувати в тавтологічний (справедливі для будь-якої ситуації) суперечливі (твердження в більшості випадків хибні) або умовні (твердження, яких не може бути багато істинних і хибних, не схильні до одного напрямку).
Він допускає різні аспекти твердження, такі як умови, що роблять його істинним, і які є його логічні висновки, тобто якщо пропоноване твердження відповідає дійсності чи хибності. Ця таблиця була розроблена Чарльзом Сандером Пірсом близько 1880 року, але найбільш широко використовувана оновлена модель Луідвіна Вітгенштейна в 1921 році.
Побудова таблиці базується на використанні букви для змінних результату, і вони виконуються, і вони називаються істинними, у протилежному випадку, коли вони не виконуються, їм присвоюється ім'я false, наприклад: Statement: «Якщо ми будемо рухатися, мої плашки собаки . » Змінні: A: Якщо воно рухається - B: собака гине.
Якщо сказано, що це відповідає обом змінним, їм присвоюється буква (V) і представляє позитивність висловлювання; якщо деякі змінні не виконуються, їм присвоюється буква (F), це не означає хибність твердження, оскільки з Якщо задовольняється лише одна змінна, її можна позначити як true, що буде залежати від твердження. Коли обидва значення є істинними у будь-який час, кажуть, що у твердженні є спряження, з іншого боку, якщо отримуються два істинні результати, а потім одне істинне, а друге хибне, то кажуть, що існує диз'юнкція.
