<<
>>

Отношение подчинения

Отношение подчинения имеет место между, с одной стороны, общими суждениями, с другой - между частными (А - I), (Е - О). При этом общие называются подчиняющими, частные - подчиненными.

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

Так, из истинности общеутвердительного суждения (А) «Все планеты светят отраженным светом» следует истинность частноутвер- дительного суждения (I) «Некоторые планеты светят отраженным светом».

Символически это отношение записывается так: A; v(xXs(x)^P(x))^3(x)(s(x)AP(x)).

Если верно, что все S суть Р, то верно, что некоторые S суть Р |: Vx(s(x)Р®)3X(S(X)AP(X)).

Если верно, что ни одно S не суть Р, то верно, что некоторые S не суть Р.

<< | >>
Источник: Черняк Н.А.. Логика: Учебное пособие. - Омск: Омск. гос. ун-т,2004. -84 с.. 2004

Еще по теме Отношение подчинения: