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

(ЛОГИЧЕСКИЙ КВАДРАТ)

Все S есть P Все S не есть P

ПРОТИВОПОЛООЖНОСТЬ

(КОНТРАРНОСТЬ)

А E

П П

О О

Д Д

Ч Ч ПРОТИВОРЕЧИЕ

И И (КОНТРАДИКТОРНОСТЬ)

Н Н

Е Е

Н Н

И И

Е Е

I O

ЧАСТИЧНАЯ СОМЕСТИМОСТЬ

(СУБКОНТРАРНОСТЬ)

Некоторые S есть P Некоторые не S не есть P

Или или Таблица 1 или или

Иллюстрация функционально-истинностных отношений между высказываниями вида A, E, I, O

А	Е	I	О
И	Л	И	Л
Л	Л	И	Л
Л	Л	Л	И

Из таблицы 1 высказывания А и О, а также Е и I не могут быть одновременно истинными и ложными. Это означает, высказывание вида А контрадикторно высказыванию вида О (и, соответственно, Е контрадикторно I). Из таблицы 1 высказывания А и Е не могут быть одновременно истинными, но могут быть одновременно ложными. В этом смысле всякое высказывание вида А контрарно соответствующему высказыванию вида Е. Аналогичным образом с помощью таблицы 1 легко понять отношение субконтрарности между высказываниями вида I, О и отношении подчинения между высказываниями А, I (а также вида Е, О).

Приложение 6

Дата добавления: 2014-01-13