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

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

Соединительные (конъюнктивные) (утверждающие одновременное наличие двух и более ситуаций)

“Командир должен оценить обстановку и отдать приказ”(аÙb).

Разделительные (дизъюнктивные) суждения (в них утверждается или отрицается наличие одной из двух или более ситуаций).

Среди разделительных выделяют строго разделительные и просто разделительные. В (нестрого) разделительных суждениях утверждается наличие по крайней мере одной из двух ситуаций. “В центр города можно проехать на автобусе или на троллейбусе”.(аÚb). В строго разделительных утверждается наличие только одной из ситуаций (альтернатив). “Ночи бывают либо лунные, либо безлунные”(а b).

Условные (импликативные) суждения. В условных суждениях утверждается, что наличие одной ситуации вызывает наличие другой ситуации. “Если воду нагреть до 100 градусов, то она закипит”.(а®b). Знак “если…, то…” выражает не только причинно-следственную связь, он может выражать и логическое следование, и другие связи. В современной логике различают условную связь “если…, то…” и так называемую материальную импликацию, отличающуюся от обычного выражения условной связки “если…, то…”(парадокс материальной импликации). В условном суждении выделяют основание и следствие: a®b, где а - основание (антецедент), b – следствие (консеквент). Основание может быть необходимым и достаточным условием наступления следствия.

Суждения эквивалентности. В суждениях эквивалентности утверждается взаимная обусловленность двух ситуаций. Например, “Число делится на 2 и на 3, если, и только если оно делится на 6”(a↔b).

Суждения с отрицанием. В них отрицается наличие некоторой ситуации. “Неверно, что на улице хорошая погода” (ùа).

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