СТРОГАЯ ДИЗЪЮНКЦИЯ. Сложное суждение истинно, если истинно лишь одно из составляющих его простых суждений, так как элементы сложной дизъюнкции исключают друг друга

 

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

 

4. ИМПЛИКАЦИЯ a → b

 

Сложное суждение, соединённое импликацией, ложно только в одном случае: если основание (первое суждение) истинно, а следствие (второе суждение) ложно.

 

5. ЭКВИВАЛЕНЦИЯ a ↔ b или a ≡ b

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

6. ОТРИЦАНИЕ ~а или а или ~b; b;

Если а истинно, то его отрицание ложно. Если а ложно, то не-а (~а) – истинно.

Если b истинно, то его отрицание ложно. Если b ложно, то не-b (~b) – истинно.

 

Если отрицание стоит внутри суждения перед связкой «есть», то мы имеем дело с простым отрицательным суждением типа «Черепахи не летают». Если же отрицание присоединяется к суждению снаружи – «Неверно, что черепахи летают», то мы имеем дело с логической связкой, преобразующей простое суждение в сложное.

Если знак отрицания стоит непосредственно перед а или b, то есть ~а; ~b,то отрицание применяется только к одному суждению.

Если знак отрицания стоит перед скобкой ~(a → b), то отрицанию будет подвержена операция, указанная в скобках. В данном примере, ̶ это отрицание импликации. Сначала выполняется импликация, затем результат подвергается отрицанию.

Выполнима та формула, которая может принимать по крайней мере одно значение «истина».

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

Тождественно-ложная формула та, которая принимает только значение «ложь» (иначе ‒ противоречие).

!!! Следует помнить, что логику интересует не содержание, а исключительно форма мысли!

Устанавливать истинность сложных суждений в логике, опираясь на здравый смысл или жизненный опыт, или обращение к действительности, ̶ неправильно!

Формально-логические связки не в состоянии учитывать многих смысловых оттенков естественного языка. Значения истинности некоторых сложных суждений достаточно близки к здравому смыслу, но другие могут показаться странными. Поэтому то, то с точки зрения содержания может выглядеть непривычно, с точки зрения формы будет являться правильным.

СОСТАВЛЕНИЕ ТАБЛИЦЫ ИСТИННОСТИ

 

Чтобы проверить сложное суждение с помощью таблицы истинности, необходимо грамотно её составить.

Например, нужно проверить суждение: «Если пойдёт дождь, то дорога будет мокрая».

 

1. Определим все простые суждения, составляющие данное сложное высказывание и узнаем количество переменных n:

а – пойдёт дождь; b – дорога будет мокрая

 

Получилось две переменных (а, b), соединённых союзом «если, то»

 

2. Количество строк (k) в таблице определяется по формуле: k = 2ⁿ, где n – количество переменных (то есть количество простых суждений, составляющих сложное).

 

В данном примере k = 2² = 4 Значит будет четыре строчки в таблице.

 

3. Количество столбцов в таблице будет зависеть от количества операций (логических связок) в сложном суждении.

Сначала в первых столбцах распределяются все возможные значения истины и лжи для переменных.

а	b

 

В данном примере две переменные, следовательно, четыре строки.

 

 

а	b
	и
	л
	и
	л

В самом правом столбце (b) чередуют «и» и «л» по одному, начиная всегда с «истины»

 

Во втором справа столбце (а) чередуют подряд два значения «и» и два значения «л», начиная всегда с «истины».

а	b
и	и
и	л
л	и
л	л

 

Затем направо выписывают логические формы всех сложных суждений, входящих в рассматриваемое суждение. В данном примере указана одна логическая связка «если, то» – импликация.

 

а	b	a → b
и	и
и	л
л	и
л	л

 

Осталось определить значения истинности для импликации. Сложное суждение, соединённое импликацией, ложно только в одном случае: если основание (первое суждение) истинно, а следствие (второе суждение) ложно.

а	b	a → b
и	и	и
и	л	л
л	и	и
л	л	и

 

 

1. Дождь пошёл, дорога мокрая. а – истина; b – истина. Следовательно, если а, то b (a → b) – истина

2. Дождь пошёл, но дорога не стала мокрая. а – истина; b – ложь. Следовательно, если а, то b (a → b) – ложно. Невозможно, чтобы причина была, а следствие не наступило.

3. Дождь не пошёл, но дорога мокрая а – ложь; b – истина. Следовательно, a → b –истина. Дорога может быть мокрой и по другой причине.

4. Дождь не пошёл и дорога не намокла. а – ложь; b – ложь. Следовательно, a → b – истина.

Если сложное суждение составлено из трёх простых, то есть состоит из трёх переменных (а, b, c), то таблица истинности, включающая все возможные комбинации истинности или ложности её переменных, будет состоять из 2³ = 8 строк.

Алгоритм распределения значений «и» и «л» для трёх переменных таков:

 

а	b	с		Начинаем распределять значения с крайнего правого столбца (с) и распределяем значения «и» и «л» попеременно, начиная с «истины».   Затем распределяем значения во втором столбце справа (b), распределяем значения «и» и «л», чередуя подряд по два значения «и», затем по два значения «л»; затем опять два значения «и» и два значения «л».   В крайнем левом столбце (а) чередуем «и» и «л», чередуя подряд сначала четыре значения «и» и затем четыре значения «л»
и	и	и
и	и	л
и	л	и
и	л	л
л	и	и
л	и	л
л	л	и
л	л	л

Упражнения:

1. Запишите высказывание в виде логической формы, используя логические связки: «Если ты сможешь доказать мне свои добрые намерения, то я поверю тебе или же мне придётся вызвать полицию и обвинить тебя в лжесвидетельстве» (Г. Каттнер. Источник миров).

 

Выпишем все простые суждения, входящие в состав сложного высказывания:

а – ты сможешь доказать мне свои добрые намерения

b – я поверю тебе

с – мне придётся вызвать полицию

d – (мне придётся) обвинить тебя в лжесвидетельствовании.

Определим связки между элементами: если а, то b или с и d

 

(a → b) ˅ (c ˄ d)