В таблицах истинности является логической стратегией просто, что устанавливает справедливость нескольких предложений в отношении любой ситуации, т.е., определяет условия, необходимые, чтобы быть правда предлагаемого утверждения, что позволяет классифицировать в тавтологический (справедливы для любой ситуации) противоречивые (утверждения в большинстве случаев ложны) или случайные (утверждения, которых не может быть много истинных и ложных, не склонны к одному направлению).
Он позволяет различные аспекты утверждения, такие как условия, которые делают его истинным, и каковы его логические выводы, то есть, истинно ли предложенное утверждение или нет. Этот стол был разработан Чарльзом Сандером Пирсом примерно в 1880 году, но наиболее широко используется обновленная модель Людвина Витгенштейна в 1921 году.
Построение таблицы основано на использовании буквы для переменных результата, и они выполняются и считаются истинными, в противном случае, когда они не выполняются, им присваивается имя false, например: Утверждение: «Если мы будем двигаться, мои плашки собаки . » Переменные: A: если она двигается - B: собака умирает.
Если говорят, что это верно для обеих переменных, буква (V) присваивается и представляет положительность утверждения, если некоторые из переменных не выполняются, им присваивается буква (F), это не представляет ложность утверждения, поскольку с Если удовлетворяется только одна переменная, ее можно обозначить как истину, это будет зависеть от оператора. Когда оба значения всегда истинны, говорят, что в утверждении есть сопряжение, с другой стороны, если получены два истинных результата, а затем один истинный, а другой ложный, говорят, что существует дизъюнкция.
