20. Виды сложного суждения.

В зависимости от того, что утверждается или отрицается в сужде­ниях, — принадлежность признака предмету, отношение между предметами или факт существования предмета,— они делятся на

1) атрибутивные суждения, 2) суждения с отношениями и 3) сужде­ния существования (экзистенциальные).

суждение состоит из субъек­та, предиката и связки;его логическая схема S—Р,где S — субъект суждения, Р — предикат суждения, «—» — связка.

Субъектом сужденияназывается понятие о предмете суждения. Понятие о признаке предмета называется предикатом суждения. Связкавыражает отношение между субъектом и предикатом.

Субъект и предикат называются терминами суждения.Каждый из них играет особую познавательную роль. Субъект суждения отра­жает то, о чем мы судим, т.е. предмет суждения. Он содержит исход­ное знание. В предикате отражается признак предмета, то, что гово­рится о предмете суждения; он содержит новое знание о нем. Напри­мер, в суждении «Россия (S) — суверенное государство (Р)» знание о России выражено в предикате, раскрывающем один из ее призна­ков. Поэтому основную смысловую нагрузку несет предикат.

Некоторые суждения отражают принадлежность (или непринад­лежность) предмету нескольких признаков. В этом суждении субъ­ект имеет не один, а два или больше предикатов. Например: «Никто (S) не может быть подвергнут произвольному арест (Pi), задержа­нию (Рз) или изгнанию (Рз)». Это суждение является сложным, состоящим из трех простых, но оно может быть рассмотрено как простое с одним сложным предикатом:

S есть Р(Pi, Pi, Рз).

Интерпретация суждений со сложным субъектом или предика­том как простых позволяет использовать эти суждения в умозаклю­чениях, посылками которых являются простые суждения.

. Например, в суждении «Рос­сия (S) — суверенное государство (Р)» субъект (понятие «Россия») включается в объем предиката (понятие «суверенное государст­во») — рис. 1\а.В суждении «Никто из судей (S) не вправе воздер­жаться от голосования (Р)» субъект («судьи») исключается из объе­ма предиката («лица, имеющие право воздержаться от голосова­ния») — рис.216.

а)

Рис. 21

б)

Круговые схемы позволяют наглядно представить отношение между терминами суждения, они широко используются в анализе умозаключений, построенных из атрибутивных суждений.

1)коньюнкця

(и, а, но)

Могут опускаться

2)дизьюнкция

(или, или…или, либо…либо)

Обозначает некую альтернативу бывает строгая(сильная) или слабая(нестрогая)

3)импликация

(если то, при условии если, тогда, когда)

4)эквиваленция

(это усиление импликации)

Есть равенство

(если, только если, в том или в этом случае)

21.Таблица истинности

p	q	P/\q	P \/q	P>q	P- -q	p\/q	p	-- p
И	И	и	л	и	и	и	и	л
И	Л	л	и	л	л	и	л	и
Л	И	л	и	и	л	и
Л	Л	л	л	и	и	л

И –истина

Л – ложь

Суждения – всегда мысли

Понятия – всегда прелюдия мысли

22. Доказательство тождественной истинности сложного суждения

1)Формула называется тождественно истинно тогда, когда при всех значениях переменной, данная формула принимает значение истины

2)формула называется тождественно ложной тогда, когда при всех слабых значениях переменной данная формула принимает значение лжи

3) формула называется выполнимой тогда, когда значение переменной данная формула будет принимать значение как истины так и лжи