В) Некоторые некрасивые люди не являются бедными

Семантика силлогистики проста. Она задается на круговых схемах (т.н. «кругах Эйлера»). Каждому термину сопоставляется определенный класс предметов, графически обозначаемый с помощью круга. Например, термину «хищники» соответствует выделенный среди множества животных класс хищников:

S

Термину с отрицанием ~S соответствует класс предметов, не входящих в S:

S ~S

Каждое атрибутивное высказывание будем рассматривать как утверждение о полном или частичном включении (невключении) одного класса в другой. Используя круговые схемы, условия истинности формул SaP, SeP, SiP и SoP можно задать с помощью таблицы:

Каждое атрибутивное высказывание будем рассматривать как утверждение о полном или частичном включении (невключении) одного класса в другой. Используя круговые схемы, условия истинности формул SaP, SeP, SiP и SoP можно задать с помощью таблицы:

1 2 3 4 5

S P P S S, P S P S P

SaP 1 0 1 0 0

SeP 0 0 0 0 1

SiP 1 1 1 1 0

SoP 0 1 0 1 1

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

Суждение SaP истинно на схемах: Суждение SoP истинно на схемах:

Дата добавления: 2015-06-30; просмотров: 143; Нарушение авторских прав

Мы поможем в написании ваших работ!