Распределенность терминов в ПАС

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

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

Таблица истинности логических связок, где буквы а, b - переменные, обозначающие суждения; «и» - истина, «л» - ложь.

Термин распределен (+), если он берется в суждении в полном объеме. Термин не распределен (-), если он в суждении берется только в части своего объема. Или: термин распределен, если он полностью включен или полностью исключен из объема другого термина.

А Ао Е I Iв О Субъект распределен во всех общих

S + + + - - - суждениях и нераспределен во всех част-

Р - + + - + + ных.

Дата добавления: 2014-11-18