9.Суждение. Суждение и предложение. Виды простых суждений.

Суждение- это логическая форма в которой утверждаются или отрицаются определённые признаки какого то предмета(сам факт существования).

Всякое суждение истинно или ложно. Суждения могут содержать в себе:

• Субъект S (само понятие)

• Предикат Р (характеристика)

• Связку (есть, не есть)

• Кванторное слово (объём)

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

Виды простых суждений:

• Экзистенциальное ( существование. *Казань расположена на Волге)

• Суждение с отношениями (есть сопоставления. *Земля больше Луны)

• Атрибутивные (признаки. * Некоторые птицы не летают)

• Модальные (*доказано, необходимо, хорошо, плохо)

Виды суждений	Формула	распределённость
		S	P
Общеутвердительные А	Все S есть Р (SaP)	+	- +
Частноутвердительные I	НекоторыеS есть P (SiP)	-	- +
Общеотрицательные Е	Ни одно S не есть P (SeP)	+	+
Частноотрицательные О	Некоторые S не есть P (SoP)	-	+

10.Логические отношения между суждениями, логический квадрат и умозаключения по логическому квадрату.

А противоположность Е

п О- ложно: А- ложно; Е- неопр.; I- неопр.

о

д

ч

и

н

е

н

I O

О- ложно: А- ложно; Е- неопр.; I- неопр.

I- Истинно: А- неопр.; О- неопр.; Е-ложно.

А- истинно: Е- ложно; О- Ложно; I- истинно.

Е- истинно: А- ложно; О- истинно; I- ложно.

А- ложно: О- истинно; Е и I- неопред.

Е- ложно: А- неопр.; I- истинно, О- неопр.

I- ложно: Е- истинно; А- ложно; О- истинно.

О-ложно: А- истинно; Е- ложно ; I- истинно.