СЛОЖНОЕ СУЖДЕНИЕ И ЕГО ВИДЫ

 

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

Таблицы истинности этих логических связок следующие (табл. 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; просмотров: 926;


Поиск по сайту:

При помощи поиска вы сможете найти нужную вам информацию.

Поделитесь с друзьями:

Если вам перенёс пользу информационный материал, или помог в учебе – поделитесь этим сайтом с друзьями и знакомыми.
helpiks.org - Хелпикс.Орг - 2014-2024 год. Материал сайта представляется для ознакомительного и учебного использования. | Поддержка
Генерация страницы за: 0.005 сек.