Логика и теория аргументации. Скачков А.С. - 76 стр.

ции каждой отдельно взятой переменной: интерпретация, сопоставляющая ей
значение «истина», и интерпретация, сопоставляющая ей значение «ложь». Од-
номестному (двуместному, трёхместному, четырёхместному, n-местному) мно-
жеству переменных соответствует двуместное (четырёхместное, восьмиместное,
шестнадцатиместное, 2n-местное) множество истинностных значений, а именно:
для одной переменной возможны два истинностных значения, для двух — четы-
ре, трёх — восемь, четырёх — шестнадцать и т. д. После интерпретации пропо-
зициональных переменных создаётся модель однозначного соответствия множе-
ства переменных множеству истинностных значений этих переменных. Результа-
ты интерпретации и создания модели (в данном случае только для двух перемен-
ных: А и В) выражаются в виде таблицы с четырьмя строками наборов истинно-
стных значений, которая приведена ниже (рис. 15).

                                  А     В       А∧В
                             1.   и     и        и
                             2.   и     л        л
                             3.   л     и        л
                             4.   л     л        л

                                      Рис. 15
      ™ Пример
   Первой строке множества истинностных значений этой таблицы может быть
сопоставлено сложное конъюнктивное суждение «Москва является столицей
Российской Федерации, и в ней располагаются органы центрального управления
нашей страной». Оно является истинным, поскольку истинными являются все
входящие в него простые суждения-конъюнкты. Второй строке истинностных
значений этой таблицы может быть сопоставлено сложное конъюнктивное суж-
дение «Москва является столицей Российской Федерации и расположена на
крайнем севере нашей страны». Оно является ложным, поскольку ложным явля-
ется входящее в него второе простое суждение-конъюнкт. Третьей строке истин-
ностных значений этой таблицы может быть сопоставлено сложное конъюнктив-
ное суждение «Москва не является столицей Российской Федерации и в ней про-
живает более миллиона человек». Оно является ложным, поскольку ложным яв-
ляется входящее в него первое простое суждение-конъюнкт. Четвёртой строке
истинностных значений этой таблицы может быть сопоставлено сложное конъ-
юнктивное суждение «Москва не является столицей Российской Федерации и в
ней проживает не более миллиона человек». Оно является ложным, поскольку
ложными являются все входящие в него простые суждения-конъюнкты. Таким
образом, конъюнктивное суждение истинно в том случае, если истинными явля-
ются все входящие в него суждения-конъюнкты, во всех остальных случаях оно
ложно.




                                        76