Логика. Шпаргалка

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

Суждение I (Некоторые S суть Р). «Некоторые студенты нашей группы (S) – отличники (Р)». Субъект суждения не распределен, т. к. в нем мыслится только часть студентов нашей группы, объем субъекта лишь частично включается в объем предиката: только некоторые студенты нашей группы относятся к числу отличников. Но и объем предиката лишь частично включается в объем субъекта: не все, а только некоторые отличники – студенты нашей группы. Следовательно, в частноутвердительном суждении ни S, ни Р не распределены.

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

Суждение О (некоторые S не суть Р). «Некоторые студенты нашей группы (S) – не отличники (Р)». Субъект этого суждения не распределен (мыслится лишь часть студентов нашей группы), предикат распределен, в нем мыслятся все отличники, ни один из которых не включается в ту часть студентов нашей группы, которая мыслится в субъекте. Следовательно, в частноотрицательном суждении S не распределен, а Р распределен.

25. СЛОЖНЫЕ СОЕДИНИТЕЛЬНЫЕ СУЖДЕНИЯ

Сложным называют суждение, состоящее из нескольких простых, связанных логическими связками. Различают следующие виды сложных суждений: 1) соединительные, 2) разделительные, 3) условные, 4) эквивалентные. Истинность таких сложных суждений определяется истинностью составляющих их простых.

Соединительные (конъюнктивные) суждения

Соединительным, или конъюнктивным, называют суждение, состоящее из нескольких простых, связанных логической связкой «и». Напр., суждение «Кража и мошенничество относятся к умышленным преступлениям» является соединительным суждением, состоящим из двух простых: «Кража относится к умышленным преступлениям», «Мошенничество относится к умышленным преступлениям». Если первое обозначать р, а второе – q, то соединительное суждение символически можно выразить как р ? q, где р и q – члены конъюнкции (или конъюнкты), ? – символ конъюнкции.