1. Соединительное суждение а b (конъюнкция)

а	b	a  b
и	и	и
л	и	л
и	л	л
л	л	л

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

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

a	b	a  b
и	и	и
и	л	и
л	и	и
л	л	л

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

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

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

.

а	b	a  b
и	и	л
и	л	и
л	и	и
л	л	л

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

а	b	a  b
и	и	и
и	л	л
л	и	и
л	л	и

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

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

a	b	a  b
и	и	и
и	л	л
л	и	л
л	л	и

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

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

а	¬а
и	л
л	и

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

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

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

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

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

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

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