СЛОЖНОЕ СУЖДЕНИЕ И ЕГО ВИДЫ
Сложные суждения образуются из простых суждений с помощью логических связок: конъюнкции, дизъюнкции, импликации, эквиваленции и отрицания.
Таблицы истинности этих логических связок следующие (табл. 2, 3).
Буквы а, b, с — переменные, обозначающие суждения; буква «И» обозначает истину, а «Л» — ложь.
Таблицу истинности для конъюнкции (а ^ b)можно разъяснить на следующем примере. Учителю дали короткую характеристику, состоящую из двух простых суждений: «Он является хорошим педагогом (а) и учится заочно (b)». Она будет истинна в том и только в том случае, если суждения а и b оба истинны. Это и отражено в первой строке. Если же а ложно или b ложно, либо и а, и b ложны, то вся конъюнкция обращается в ложь, т. е. учителю была дана ложная характеристика.
Суждение: «Увеличение рентабельности достигается путем повышения производительности труда (а) или путем снижения себестоимости продукции (b)» — пример нестрогой дизъюнкции. Дизъюнкция называется нестрогой, если ее члены не исключают друг друга. Такое высказывание истинно в том случае, когда истинно хотя бы одно из двух суждений (первые три строки табл. 2), и ложно, когда оба суждения ложны.
Члены строгой дизъюнкции исключают друг друга. Это можно разъяснить на примере: «Я поеду на юг на поезде (а) или полечу на самолете (b) ». Я не могу одновременно ехать на поезде и лететь на самолете. Строгая дизъюнкция истинна тогда, когда истинно лишь одно из двух простых суждений.
Таблицу для импликации можно разъяснить на таком примере: «Если через проводник пропустить электрический ток (а), то проводник нагреется (b) »6. Импликация истинна всегда, кроме одного случая, когда первое суждение истинно, а второе ложно. Действительно, не может быть, чтобы по проводнику пропустили электрический ток, т. е. чтобы суждение (а) было истинным, а проводник не нагрелся, т. е. суждение (b)было ложным.
Эквиваленция в таблице характеризуется так: истинно в тех и только в тех случаях, когда и а, и b либо оба истинны, либо оба ложны.
Отрицание суждения характеризуется так: если а истинно, то его отрицание ложно, и если а ложно, то а истинно.
Если в формулу входят три переменные, то таблица истинности для этой формулы, включающая все возможные комбинации истинности или ложности ее переменных в таблице, будет состоять из 23 = 8 строк; при четырех переменных в таблице будет 2* = 16 строк; при пяти переменных в таблице имеем 25 = 32 строки; при переменных — 2 n строк (табл. 4, 5).
Алгоритм распределения значений И и Л для переменных (например, для четырех переменных а, b, с, d ) таков (табл. 4).
Имеем 24= 16 строк.
В столбце для а сначала пишем 8 раз «И» и 8 раз «Л».
В столбце для b сначала пишем 4 раза «И» и 4 раза «Л», затем повторяем и т. д.
Выполнимая формула та, которая может принимать по крайней мере одно значение «истина». Тождественно-истинной формулой называется формула, которая при любых комбинациях значений для входящих в нее переменных принимает значение «истина» (иначе она называется законом логики, или тавтологией). Тождественно-ложная формула та, которая соответственно принимает только значение «ложь» (она иначе называется противоречием).
Приведем доказательство тождественной истинности формулы:
Так как в последней колонке мы имеем только значение «истина», формула является тождественно-истинной, или законом логики (такие выражения называют тавтологиями).
Итак, конъюнкция истинна тогда, когда оба простых суждения истинны. Строгая дизъюнкция истинна тогда, когда только одно простое суждение истинно. Нестрогая дизъюнкция истинна тогда, когда хотя бы одно простое суждение истинно. Импликация истинна во всех случаях, кроме одного: когда а истинно, a b ложно. Эквиваленция истинна тогда, когда оба суждения истинны или оба ложны. Отрицание (а) истины дает ложь, и наоборот.
Дата добавления: 2014-12-08; просмотров: 932;