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

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

6. Отношения между суждениями

Суждения могут быть сравнимыми и несравнимыми. Несравнимые суждения имеют различные субъекты и предикаты. Сравнимые суждения – это суждения с одинаковыми субъектами и предикатами. Они могут быть совместимыми и несовместимыми.

К совместимым относятся суждения А и I, Е и О, которые одновременно могут быть истинными. Это могут быть суждения

1. эквивалентные (полностью совместимые),

2. субконтрарные (частично совместимые; могут быть одновременно истинными, но не могут быть одновременно ложными),

3. подчиненные (при истинности общего суждения частное всегда будет истинным; при ложности частного суждения общее суждение будет ложным)

К несовместимым относятся суждения А и Е, А и О, Е и I, которые одновременно не могут быть истинными.

Это могут быть суждения

1. контрарные (противоположные; противоположными являются суждения А и Е, которые одновременно не могут быть истинными, но могут быть одновременно ложными);

2. контрадикторные (противоречащие; противоречащими являются суждения А и О, Е и I, которые одновременно не могут быть ни истинными, ни ложными).

7. Понятие о логическом союзе. Структура сложных суждений

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

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

Таблица 3.

Виды сложных суждений

Соединительные (конъюнктивные)	Разделительные (дизъюнктивные)	Условные (импликативные)	Эквивалентные
Суждение, со­стоящее из не­скольких про­стых, связанных логической связ­кой «и»	Суждение, со­стоящее из не­скольких про­стых, связанных логической связ­кой «или»	Суждение, со­стоящее из не­скольких про­стых, связанных логической связ­кой «если…, то…»	Суждение, со­стоящее из не­скольких про­стых, связанных логической связ­кой «если и только если…, то…»
pq p и q – члены конъюнкции  - символ конъюнкции	pq p и q – члены дизъюнкции  - символ дизъ­юнкции	pq p и q – члены импликации  - символ им­пликации	pq p и q – члены эк­виваленции  - символ экви­валенции
Конъюнкция может выражать как одновремен­ность событий (коммутативно-конъюнктивное суждение), так и последовательную смену событий (некоммута­тивно-конъюнк­тивные сужде­ния)	Дизъюнкция бы­вает слабая, неисключаю­щая (одна ситуация не исключает другую) и сильная, или исключающая (одна ситуация исключает дру­гую, обознача­ется pq)	Импликация бы­вает релевантная (обычная связь двух ситуаций) и материальная (не учитывает связь двух ситуаций, обозначается pq)	Эквиваленция бывает матери­альная (события имеют место од­новременно или одновременно отсутствуют), а также другого типа (условия и следствия доста­точны друг для друга, обознача­ется pq)