Логика. Ответы (стр. 3 из 5)

общеотрицательное (E) — общее и отрицательные («Ни один S₊ не суть P₊») (Ни один человек не всеведущ)

частноотрицательное (O) — частное и отрицательное («Некоторые S_- не суть P₊») (Некоторые люди не имеют черного цвета кожи)

Классификация по количеству

общие - это с., кот. справедливы относит-но всего объема понятия. (Все растения живут) Все S суть P

частные - это с, кот. справедливы относительно части объема понятия. «Некоторые растения суть хвойные» Некоторые S суть P

а) Единичные с. – «Гуттенберг – изобретатель книгопечатания»

б) Индивидуальные с. – относятся ко всему объему понятия

В атрибутивном с. выделяются термины с. — субъектS (логическое подлежащее) и предикатP (логическое сказуемое), а также связка (иногда только подразумевается), кванторное слово («некоторые», «все» и т. п.).

17. Основные виды сложных суждений и их истинность.

Сложным наз. сужд., сост. из нескольких простых сужд., связ. лог. связ., ист. сл. сужд. опред. ист. простых.

Основные виды сложных суждений: конъюнкция, дизъюнкция, импликация, эквиваленция, отрицание.

1.) соеденительные(коньюктивные)- с. сост. из нескольких простых. сужд. (коньюнктов) связан. связ. «и»: а, но, а также, как и, хотя, однако и др..

Истинно при истинности все сост. его коньюнктов и ложно при лож. хотя бы одного коньюнкта.

2.) разделительные(дизьюнкт.)- сужд., сост. из нескольких прост. сужд. (дизьюнктов), связ-х лог. связкой «или»: или, либо, или-или, либо-либо.

Истинно при ист. одного и лож. другого, ложно при ист./лож. обоих дизьюнктов.

3.) условные (импликат.)- наз. сужд., сост. из двух прост сужд., связ-х лог. связкой «если…, то…»: там, где; тогда, когда; постольку, поскольку.

Истинно во всех случаях, кроме ист. предшеств. и лож. послед.

4.) эквивалентные (двойная импликация)- сужд. включ. в кач. сост. два прост. сужд., связ двойной (прямой и обратной) условной завис. ,выраж. лог. связ. «если, и только если…, то…»: лишь при условие что…, то…; в то и только том случае когда…, тогда…; тогда и только тогда…, когда….

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

18. Логические отношения между простыми суждениями.

Отношения между простыми с. обычно изображают с помощью схемы - логического квадрата. Логический квадрат (квадрат противоположностей) - это диаграмма, служащая для мнемонического запоминания логических отношений между видами суждений по объединенной классификации.

Вершины квадрата обозначают вид с. по объединенной классификации А , Е , 0 , I. Стороны и диагонали символизируют логические отношения между простыми суждениями (кроме эквивалентных). Верхняя сторона есть О отношение А и Е - противоположность

(контрарность);

нижняя сторона - отношение между I и O - частичная совместимость(субконтрарность);

две вертикальные стороны - отношения между А и I (левая), Е и О (правая) - подчинение;

диагонали - отношения между А и О, Е и I- противоречие(контрадикторность).

Где А-общеутвердительные с. I-частноутвердительные с.

Е- общеотрицательные с., О-частноотрицательное с.

19. Логические отношения между сложными суждениями.

отношений между сложными суждениями. Сравнимые среди сложных - это суждения, которые имеют одинаковые составляющие и различаются типами логических связок, включая отрицание: например, "Норвегия или Швеция являются членами НАТО" и "Неверно, что Норвегия и Швеция являются членами НАТО". Сравнивать эти суждения можно потому, что у них общие составляющие, хотя по логической форме они отличаются друг от друга: первое из них дизъюнктивное суждение, второе - отрицание конъюнкции. Наличие общих составляющих позволяет сопоставлять их по смыслу и установить зависимости по истинности. Несравнимыми среди сложных суждений являются суждения, которые частично или полностью различаются составляющими их суждениями.

(p q) и и и л и и и и л л л л

л и л и

pл ии лл ии л

Различия в составляющих не позволяют установить смысловую и истинную зависимость между суждениями.

Между сложными суждениями складываются такие же виды отношений, как и между простыми. Характер этих отношений определяется с помощью таблиц истинности.

Знак	Название	Соответствие в русском языке
	отрицание	«не», «неверно, что»
&	конъюнкция	«и», «а», «но»
	дизъюнкция	«или»
	строгая дизъюнкция	«или…или», «либо…либо»
	импликация	«если…, то…», «когда…, то…»
	эквиваленция	«если и только если», «тогда и только тогда»

20. Отношение между суждениями по логическому квадрату.