Результатом формализации любого рассуждения, как мы увидели, является какая-либо формула, состоящая из маленьких букв латинского алфавита, выражающих входящие в рассуждение простые высказывания, и условных обозначений логических связей между ними (конъюнкции, дизъюнкции и др.). Все формулы делятся в логике на три вида:

1. Тождественно-истинные формулы являются истинными при всех наборах истинностных значений входящих в них переменных (простых суждений). Любая тождественно-истинная формула представляет собой логический закон.

2. Тождественно-ложные формулы являются ложными при всех наборах истинностных значений входящих в них переменных.

Тождественно-ложные формулы представляют собой отрицание тождественно-истинных формул и являются нарушением логических законов.

3. Выполнимые (нейтральные) формулы при различных наборах истинностных значений входящих в них переменных являются то истинными, то ложными.

Если в результате формализации какого-либо рассуждения получается тождественно-истинная формула, то такое рассуждение является логически безупречным. Если же результатом формализации будет тождественно-ложная формула, то рассуждение следует признать логически неверным (ошибочным). Выполнимая (нейтральная) формула свидетельствует о логической корректности того рассуждения, формализацией которого она является.

Для того чтобы определить, к какому виду относится та или иная формула, и, соответственно, оценить логическую верность какого-то рассуждения, обычно составляют специальную таблицу истинности для этой формулы. Рассмотрим следующее рассуждение: «Владимир Владимирович Маяковский родился в 1891 г. или в 1893 г. Однако известно, что он родился не в 1891 г. Следовательно, он родился в 1893 г.». Формализуя это рассуждение, выделим входящие в него простые высказывания: «Владимир Владимирович Маяковский родился в 1891 г.». «Владимир Владимирович Маяковский родился в 1893 г.». Первая часть нашего рассуждения, несомненно, представляет собой строгую дизъюнкцию этих двух простых высказываний: a ∨ b. Далее к дизъюнкции присоединяется отрицание первого простого высказывания, и получается конъюнкция: (a ∨ b) ∧ ¬ a. И, наконец, из этой конъюнкции вытекает утверждение второго простого суждения, и получается импликация: ((a ∨ b) ∧ ¬ a) → b, которая и является результатом формализации данного рассуждения. Теперь надо составить табл. 7 истинности для получившейся формулы:

Количество строк в таблице определяется по правилу: 2ⁿ, где n – число переменных (простых высказываний) в формуле. Поскольку в нашей формуле только две переменных, то в таблице должно быть четыре строки. Количество колонок в таблице равно сумме числа переменных и числа логических союзов, входящих в формулу. В рассматриваемой формуле две переменных и четыре логических союза (∨, ∧, ¬, →), значит, в таблице должно быть шесть колонок. Первые две колонки представляют собой все возможные наборы истинностных значений переменных (таких наборов всего четыре: обе переменные истинны; первая переменная истинна, а вторая ложна; первая переменная ложна, а вторая истинна; обе переменные ложны). Третья колонка – это истинностные значения строгой дизъюнкции, которые она принимает в зависимости от всех (четырёх) наборов истинностных значений переменных. Четвёртая колонка – это истинностные значения отрицания первого простого высказывания: ¬ a. Пятая колонка – это истинностные значения конъюнкции, состоящей из вышеуказанной строгой дизъюнкции и отрицания, и, наконец, шестая колонка – это истинностные значения всей формулы, или импликации. Мы разбили всю формулу на составные части, каждая из которых является двучленным сложным суждением, т. е. состоящим из двух элементов (в предыдущем параграфе говорилось о том, что отрицание также представляет собой двучленное сложное суждение):

В четырёх последних колонках таблицы представлены истинностные значения каждого из этих двучленных сложных суждений, образующих формулу. Сначала заполним третью колонку таблицы. Для этого нам надо вернуться к предыдущему параграфу, где была представлена таблица истинности сложных суждений (см. табл. 6), которая в данном случае будет для нас базисной (как таблица умножения в математике). В этой таблице мы видим, что строгая дизъюнкция ложна, когда обе её части истинны или обе ложны; когда же одна её часть истинна, а другая ложна, тогда строгая дизъюнкция истинна. Поэтому значения строгой дизъюнкции в заполняемой таблице (сверху вниз) таковы: «ложно», «истинно», «истинно», «ложно». Далее заполним четвёртую колонку таблицы: ¬ а: когда утверждение два раза истинно и два раза ложно, тогда отрицание ¬ а, наоборот, два раза ложно и два раза истинно. Пятая колонка – это конъюнкция. Зная истинностные значения строгой дизъюнкции и отрицания, мы можем установить истинностные значения конъюнкции, которая истинна только тогда, когда истинны все входящие в неё элементы. Строгая дизъюнкция и отрицание, образующие данную конъюнкцию, одновременно истинны только в одном случае, следовательно конъюнкция один раз принимает значение «истинно», а в остальных случаях – «ложно». Наконец, надо заполнить последнюю колонку: для импликации, которая и будет представлять истинностные значения всей формулы. Возвращаясь к базисной таблице истинности сложных суждений, вспомним, что импликация ложна только в одном случае: когда её основание истинно, а следствие ложно. Основанием нашей импликации является конъюнкция, представленная в пятой колонке таблицы, а следствием простое суждение (b), представленное во второй колонке. Некоторое неудобство в данном случае заключено в том, что слева направо следствие идёт раньше основания, однако мы всегда можем мысленно поменять их местами. В первом случае (первая строчка таблицы, не считая «шапки») основание импликации ложно, а следствие истинно, значит, импликация истинна. Во втором случае и основание, и следствие ложны, значит, импликация истинна. В третьем случае и основание, и следствие истинны, значит, импликация истинна. В четвёртом случае, как и во втором, и основание, и следствие ложны, значит, импликация истинна.

Рассматриваемая формула принимает значение «истинно» при всех наборах истинностных значений входящих в неё переменных, следовательно, она является тождественно-истинной, а рассуждение, формализацией которого она выступает, логически безупречно.

Рассмотрим ещё один пример. Требуется формализовать следующее рассуждение и установить, к какому виду относится выражающая его формула: «Если какое-либо здание является старым, то оно нуждается в капитальном ремонте. Это здание нуждается в капитальном ремонте. Следовательно, это здание старое». Выделим простые высказывания, входящие в это рассуждение: «Какое-либо здание является старым», «Какое-либо здание нуждается в капитальном ремонте». Первая часть рассуждения представляет собой импликацию: a → b, этих простых высказываний (первое является её основанием, а второе – следствием). Далее, к импликации присоединяется утверждение второго простого высказывания, и получается конъюнкция: (a → b) ∧ b. И наконец, из этой конъюнкции вытекает утверждение первого простого высказывания, и получается новая импликация: ((a → b) ∧ b) → a, которая и является результатом формализации рассматриваемого рассуждения. Чтобы определить вид получившейся формулы, составим табл. 8 её истинности.

В формуле две переменные, значит, в таблице будет четыре строчки; также в формуле три союза (→, ∧, →), значит, в таблице будет пять колонок. Первые две колонки – это истинностные значения переменных. Третья колонка – истинностные значения импликации.