Сложное суждение. Импликация, эквиваленция, отрицание. Таблицы истинности

Сложные суждения образуются из простых суждений с помощью логических связок: конъюнкции, дизъюнкции, импликации, эквиваленции и отрицания. Таблицы истинности этих логических связок следующие:

Буквы а, b - переменные, обозначающие суждения; буква “И” обозначает истину, а “Л” - ложь.

Таблицу истинности для конъюнкции (а U b) можно разъяс­нить на следующем примере. Учителю дали короткую характе­ристику, состоящую из двух простых суждений: “Он является хорошим педагогом (а) и учится заочно (b)”. Она будет истинна в том и только в том случае, если суждения а и b оба истинны. Это и отражено в первой строке. Если же о ложно, или b ложно, или и а, и b ложны, то вся конъюнкция обращается в ложь, т. е. учителю была дана ложная характеристика.

Суждение “Увеличение рентабельности достигается или путем повышения производительности труда (а), или путем снижени себестоимости продукции (b)” - пример нестрогой дизъюнкции. Дизъюнкция называется нестрогой, если члены дизъюнкции не исключают друг друга. Высказывание или формула с такой дизъ­юнкцией истинна в том случае, когда истинно хотя бы одно из двух суждений (первые три строки таблицы), и ложна, когда оба суждения ложны.

Строгая дизъюнкция (а u b) - та, в которой члены дизъюнк­ции исключают друг друга. Ее можно разъяснить на примере:

“Я поеду на Юг на поезде (а) или полечу туда на самолете (b)”. Я не могу одновременно ехать на поезде и лететь на самолете. Строгая дизъюнкция истинна тогда, когда лишь одно из двух про­стых суждений истинно, и только одно.

Таблицу для импликации (а > b) можно разъяснить на таком примере: “Если по проводнику пропустить электрический ток (а), то проводник нагреется (b)1. Импликация истинна всегда, кроме одного случая, когда первое суждение истинно, а второе - ложно. Действительно, не может быть, чтобы по проводнику пропусти­ли электрический ток, т. е. суждение (а) было истинным, а про­водник не нагрелся, т. е. чтобы суждение (b) было ложным.

В таблице эквиваленция (a? b) характеризуется так: а? b истинно в тех и только в тех случаях, когда и а, и b либо оба истинны, либо оба ложны.

Отрицание суждения а (т. е. a) характеризуется так: если а истинно, то его отрицание ложно, и если а - ложно, то. a - истинно.

Если в формулу входят три переменные, то таблица истинности для этой формулы, включающая все возможные комбинации истинности или ложности ее переменных, будет состоять из 23 = 8 строк; при четырех переменных в таблице будет 24 = 16 строк; при пяти переменных в таблице имеем 25 = 32 строки; при n переменных 2n строк.

Алгоритм распределения значений И и Л для переменных (например, для четырех переменных а, b, с,d) таков:

Имеем 24 = 16 строк. В столбце для а сначала пишем 8 раз “И” и 8 раз “Л”. В столбце для b сначала пишем 4 раза “И” и 4 раза “Л”, затем повторяем и т. д.

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

Приведем доказательство тождественной истинности формулы:

а	b	с				b ^ c	a → (b ^ c).	( V )	(a → (b ^ c)) ^ ( V )	((a → (b ^ c)) ^ ( V )) →
и	и	и	л	л	л	и	и	л	л	и
и	и	л	л	л	и	л	л	и	л	и
и	л	и	л	и	л	л	л	и	л	и
и	л	л	л	и	и	л	л	и	л	и
л	и	и	и	л	л	и	и	л	л	и
л	и	л	и	л	и	л	и	и	и	и
л	л	и	и	и	л	л	и	и	и	и
л	л	л	и	и	и	л	и	и	и	и

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

Итак, конъюнкция (а ^ b) истинна тогда, когда оба про­стых суждения истинны. Строгая дизъюнкция (а u b ) истин­на тогда, когда только одно простое суждение истинно. Нестро­гая дизъюнкция (а v b ) истинна тогда, когда хотя бы одно про­стое суждение истинно. Импликация (а > b ) истинна во всех случаях, кроме одного: когда а - истнно, b - ложно. Эквиваленция (а b) истинна тогда, когда оба суждения истинны или оба ложны. Отрицание () истины дает ложь, и наоборот.