2. Отношение субконтрарности (или подпроти-

SiP SoP воположности) присуще частным суждениям, которые

имеют одинаковые термины и различное качество (SiP и SoP).

Логическая зависимость: не могут быть одновременно ложными, но могут быть одновременно истинными.

Отношение несовместимости:

3. Отношение контрарности (или противоположности) имеет место между общими суждениями, у которых одинаковые термины и разное качество (SaP и SiP). Логическая зависимость: одновременно не могут быть истинными, но могут быть одновременно ложными.

4. Отношение контрадикторности (или противоречия) имеет место между суждениями, имеющими одинаковые термины и различающиеся по качеству и количеству ( SaP и SoP; SeP и SoP). Логическая зависимость: при истинности одного - другое ложно; при ложности одного - другое истинно.

Схема 18. Виды модальностей

Алетическая модальность

Фактическая модальность Логическая модальность

Суждения о действительности Достоверные суждения

(ассерторические) Достоверно, S есть Р.

Действительно, S есть P.

Суждения о возможности Вероятные суждения

(проблематическое) Вероятно, S есть Р.

Возможно, S есть Р.

Суждения о необходимости

(аподиктические)

Необходимо, S есть Р.

Деонтическая модальность

Обязательно Нормативно Запрещено Разрешено

безразлично

Аксиологическая модальность

Абсолютная Относительная

(сравнительная)

Хорошо Лучше

Безразлично Равноценно

Плохо Хуже

Эпистемическая модальность

Знание Убеждение

Доказуемо Полагаемо

(верифицируемо) (убежден)

Неразрешимо Сомнительно

(непроверяемо)

Опровержимо Отвергаемо

Эпистемически Допустимо

возможно

Временная модальность

Абсолютная Относительная

(сравнительная)

Всегда Раньше

Только Одновременно

Абсолютно Позже

возможно

Схема 19. Виды сложных суждений

Сложные суждения

Соединительные Разделительные Условные

(конъюнкция) (дизъюнкция) (импликация)

1.Строгая 1. Простая

дизъюнкция импликация

2.Слабая 2. Двойная

дизъюнкция импликация

(эквиваленция)

Схема 20. Законы истинности сложных суждений

Закон конъюнкции

а	в	а  в
и	и	и
и	л	л
л	и	л
л	л	л

Конъюнкция истинна тогда и только тогда, когда все составляющие её простые суждения истинны.

Закон слабой дизъюнкции

а	в	а  в
и	и	и
и	л	и
л	и	и
л	л	л

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

Закон строгой дизъюнкции

а	в	а * в
и	и	л
и	л	и
л	и	и
л	л	л

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

Закон импликации

а	В	а  в
и	и	и
и	л	л
л	и	и
л	л	и

Импликация истинна во все случаях кроме одного, когда основание истинно, а следствие ложно.

Закон эквиваленции

а	в	а  в
и	и	и
и	л	л
л	и	л
л	л	и

Эквиваленция истинна тогда, когда основание и следствие одновременно истинны или ложны.

Схема 21. Отрицание суждений

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

Закон двойного отрицания:   а  а

Отрицание простых суждений:

 А  О

 О  А

 Е  I

 I  Е

Отрицание сложных суждений:

Законы де Моргана: 1)  (а  в)  ( а   в)