Сложные суждения.

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

Выделяют следующие сложные суждения:

Соединительные суждения (суждения конъюнкции): используется союз «и» pÙq.

p

q

и

и

л

л

и

л

и

л

и

и

и

л

Разъединительные суждения (суждения дизъюнкции): используется союз «или».

Нестрогая (неисключающая) дизъюнкция: рÚq

p

q

и

и

л

л

и

л

и

л

и

и

и

л

Строгая (исключающая) дизъюнкция: q

p

q

q

и

и

л

л

и

л

и

л

л

и

и

л

Суждения условия (суждения импликации): используется союз «если, то» р®q.

p

q

и

и

л

л

и

л

и

л

и

л

и

и

Суждения тождества (суждения эквиваленции): используется союз «если и только если, то» р«q.

p

q

и

и

л

л

и

л

и

л

и

л

л

и

 

Логика - доступно для всех