Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Скачиваний:
2
Добавлен:
26.01.2024
Размер:
331.26 Кб
Скачать

21. Сложные суждения и их виды. Логическая форма сложных суждений.

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

Различают следующие виды сложных суждений:

  1. Соединительные (конъюнкция)

  2. Разделительные (дизъюнкция)

  3. Строго-разделительные (строгая дизъюнкция)

  4. Услов­ные (импликация)

  5. Суждения эквивалентности

  6. Отрицательные суждения (отрицание)

Истинность таких сложных суждений опре­деляется истинностью составляющих их простых.

22. Соединительные и разделительные таблицы истинности.

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

  1. Соединительное суждение – конъюнкция.

Ему соответствует союз «И». Логическая форма: (А&В) Суждение будет истинным, если оба его составляющие будут истинной. Если одно из них или оба – ложь, то и суждение будет ложным.

Семантическая таблица для конъюнкции. (и – истина, л – ложь)

А

В

(А&В)

И

И

И

И

Л

Л

Л

И

Л

Л

Л

Л

  1. Разделительное суждение – дизъюнкция.

Соответствует союз «или». Логическая форма: (А \/ В). Если хотя бы одно из суждений – истина, то суждение истинно..

Семантическая таблица для дизъюнкции.

А

В

\/В)

И

И

И

И

Л

И

Л

И

И

Л

Л

Л

  1. Строго-разделительное суждение - строгая дизъюнкция.

Соответствует союз «либо...,либо…».Логическая форма: ( А _\/_ В ) Предполагает выбор альтернатив, но не обеих вместе.

Семантическая таблица для строгой дизъюнкции.

А

В

(А_\/_В)

И

И

Л

И

Л

И

Л

И

И

Л

Л

Л

  1. Условное суждение – импликация.

Соответствует союз «Если…, то…». Логическая форма: (А→ В). Первый аргумент импликации (А) называется антецедентом/условием, а второй (В) – консеквентом/следствием. Импликация будет ложной только в том случае, если условие выполнено, а следствие не наступило.

Семантическая таблица для импликации.

А

В

В)

И

И

И

И

Л

Л

Л

И

И

Л

Л

И

  1. Суждение эквивалентности.

Соответствует союз «….тогда и только тогда, когда….». Логическая форма: (А = В)

Суждение истинно только тогда, когда оба суждения либо истинны, либо оба ложны.

Сематическая таблица для эквивалентности.

А

В

(А=В)

И

И

И

И

Л

Л

Л

И

Л

Л

Л

И

  1. Отрицательные суждения.

Соответствуют выражения «не», «наверно, что…». Отрицание действует только на одно суждение, поэтому

Сематическая таблица для отрицания будет выглядеть так:

А

¬А

И

Л

Л

И

Соседние файлы в папке !Учебный год 2024