Распред-ть терминов в сужд-ии: дин. Ич. Сужд-х речь идет о всем об. Диничные. Атриб. Т существ-я предм. 000000000000000000000000000000000000000000000000000000

В сужд-ии терм. м. б. распред-ны или не распред-ны. Термин распред-н, если он взят в полном объеме, т.е. если он полн. включен в объем др. термина или полн. исключ. из него. Терм. не распред., если он взят в части объема. Если он част. включ. в объем др. термина или част. исключ-н из него.

S –распред., P – не распред.

А – все S есть P (Все худ-ки – впечатлит. люди.) S –распред., P – не распред

А-выдел. все S и только S есть P (Все квадр. (и только они) равностор. прямоуг-ки)

I – нек. S есть P (Если нек. военные связисты, то нек. связисты-военные)

I-выдел. Нек S (и только S) есть P (Нек. врачи-кардиологи (и только врачи), но кардиологи-все врачи).

Е – ни одно S не есть P (Ни одна трапеция не есть ромб, ни один ромб не есть трапеция).

О – нек. S не есть P (Нек. змеи не ядовиты) Отнош-е терминов в единич-х сужд-х точно такое же, как и в общих

это S есть P (Сергей Есенин – велик. рус. поэт. )

это S(и только S) есть P (C. Есенин (и только он) автор поэмы «Страна негодяев».)

это S не есть P (С. Есенин не был футуристом.)

Сложное суждение

Слож-е сужд-я – суж-я, сост-е из прост. суж-й, соед-х м\ду собой логич. союзами.

Конъюнкция (прибл. соотв. союзу «и») , дизъюнкцияV, W, импликация , эквиваленция 

Логич. союз (не след. смеш-ть с грам. союзом)- 1) грам. союз связ-т слова и предл-я, а логич-й-сужд-я, 2) у грам. союза всегда предст. смысл. связь, в логич. союзе смысл. связи может и не быть. Един-я ф-я лог.с. – указ-е на соистин-ть сужд-й.Кажд. логич. союз бинарен, т.е. связ-т 2 и только 2 сужд-я в любых комбин-х.

(pWq) (qz)

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

p	q
и	и
и	л
л	и
л	л

Конъюнкция – такое слож. сужд-е, кот-е будет истин-м тогда и только тогда, когда истин-ны все вход-е в него сужд-я. (Казань – столица Татарстана и расположен на Волге.) Конъюн. сужд-е в реальн. тексте может быть предст. в виде сужд-й со слож. суб., слож. предик. или же со слож. суб. и слож. предикатом. S1^S2 есть P, S есть P1^P2, S1^S2 есть P1^P2

1) закон ассоц-ти: логич. знач-е кон. сужд-я не зависит от сочет-ти конъюнктов: (p^q)^r, p^(q^r)

2) закон коммут-ти: логич. знач-е кон. сужд-я не зависит от перестан-ки конъюнктов. p^q; q^p

Дизъюнкция: 2 вида -строгая и нестрогая. Нестрог. прибл. соответ-т союзам «и», «или» в смысле или то или это: сужд-е нестрог. диз-ии есть такое сужд-е, кот-е будет истин-м тогда и только тогда, когда истинно по крайн. мере одно из вход-х в него сужд-й.

p	q	p^q	pVq	pWq	pq	qp	pq
и	и	и	и	л	и	и	и
и	л	л	и	и	л	и	л
л	и	л	и	и	и	л	л
л	л	л	л	л	и	и	и

Строг. диз-я – с. «или» употр-ся в исключ.-разделит. смысле (или то, или это и 3-го не дано). Сужд-е строг. диз-ии есть такое слож. сужд-е, кот-е будет истин-м тогда и только тогда, когда истин. только одно из вход-х в него сужд-й. pWqWz/ На диз-ю (строг. и нестрог. распр-ся те же законы, что и на кон-ю. подобно кон-ии: сужд-е м. б. предст. со слож. суб. либо со слож. предик. либо со слож. суб. и слож. предик-м. S1VS2, P1VP2.

Импликация (если то) 

имплик-м наз-т такое слож. сужд-е, кот-е будет ложн. тогда и только тогда, когда предш. сужд-е p (антецедент) будет истин-м, а послед-е сужд-е q (консеквент) ложным.