Разделительное (не исключающее) суждение а v b (дизъюнкция)

a	b	a Ú b
и	и	и
и	л	и
л	и	и
л	л	л

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

Исключающе-разделительное суждение а v b (строгая дизъюнкция). Смысл союза "либо" – утверждение несовместимости, противоречия составляющих суждений.

Правило: строгая дизъюнкция ложна, когда совпадают значения истинности входящих в неё простых суждений, и истинна, когда они различны.

. а	b	a Ú b
и	и	л
и	л	и
л	и	и
л	л	л

Условное суждение а ® b (импликация). Суждение а называется в импликации основанием (антецедентом), суждение b – следствием (консеквентом).

а	b	a ® b
и	и	и
и	л	л
л	и	и
л	л	и

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

Эквивалентное суждение аº b (эквиваленция)

a	b	a º b
и	и	и
и	л	л
л	и	л
л	л	и

Правило: эквивалентные суждения истинны тогда и только тогда, когда значения истинности простых суждений совпадают.

Отрицательные суждения состоят из суждения и союза, его отрицающего. Поэтому таблица очень проста:

а	а
и	л
л	и

Истинность суждений отрицания устанавливается на основании закона исключённого третьего.

Модальные суждения

Модальность (от лат. "modus" – мера, наклонение) – это характеристика особой связи между понятиями простого суждения или суждениями сложного высказывания. Эта связь может быть: сильной положительной, слабой или сильной отрицательной.

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

В современной логике общей теории модальных систем пока нет. В рамках символической (математической) логики разработано множество аксиоматических систем, использующих методы исчисления высказываний, связанных с многозначной и вероятностной логиками.

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

ТИП МОДАЛЬНОСТИ	О П Е Р А Т О Р Ы
Алетическая
1.Логическая	логически необходимо	логически возможно	логически невозможно
2.Физическая	физически необходимо	физически возможно	физически невозможно
Деонтическая	обязательно	разрешено	запрещено
Эпистемическая	доказано	проблематично	опровергнуто
Аксиологическая
1.Абсолютная	хорошо	безразлично	плохо
2.Относительная	лучше	безразлично	хуже

Вопросы для повторения

1. Что называется суждением, как оно выражается в речи?

2. Что такое простое суждение, какова его структура?

3. Какие виды простых суждений существуют?

4. Что называется количеством и качеством категорических суждений?

5. Как классифицируются простые категорические суждения?

6. Что называется распределённостью терминов в суждении? Каковы правила распределённости терминов?

7. Какие отношения по истинности существуют между простыми суждениями?

8. Что такое сложное суждение?

9. Каковы правила истинности сложных суждений? Что такое таблицы истинности?

10. Что называется модальностью суждений? Каковы её основные виды?

11. Перечислите модальные операторы, раскройте их содержание.

Резюме по теме

Суждение – это основная форма мысли с точки зрения цели и результата мышления – нахождения и выражения истины. Именно суждение выявляет смысл понятия (правильное определение имеет вид суждения), из суждений строится вывод, суждение составляет предпосылку вопроса и является формой ответа на вопрос. Поэтому знание и умение правильно использовать все многообразие суждений – необходимая и важнейшая часть логической культуры мышления. Понимание содержания высказывания предполагает не только узнавание лексических значений всех слов и понятий как элементов, из которых оно состоит, но и адекватное различение структуры (простой или сложной), модальности целого выражения и отдельных его составляющих. Этому учит логика суждений.