Сложные суждения состоят из нескольких простых суждений, соединенных специальными логическими союзами. Логическое значение (истинность или ложность) сложных суждений определяется: 1) логическим значением простых суждений, входящих в сложное; 2) характером логической связки, соединяющей простые суждения.
Выделяют следующие сложные суждения:
Соединительные суждения (суждения конъюнкции): используется союз «и» pÙq.
|
p |
q |
|
|
и и л л |
и л и л |
и и и л |
Разъединительные суждения (суждения дизъюнкции): используется союз «или».
Нестрогая (неисключающая) дизъюнкция: рÚq
|
p |
q |
|
|
и и л л |
и л и л |
и и и л |
Строгая (исключающая) дизъюнкция: q
|
p |
q |
q |
|
и и л л |
и л и л |
л и и л |
Суждения условия (суждения импликации): используется союз «если, то» р®q.
|
p |
q |
|
|
и и л л |
и л и л |
и л и и |
Суждения тождества (суждения эквиваленции): используется союз «если и только если, то» р«q.
|
p |
q |
|
|
и и л л |
и л и л |
и л л и |