Логика. Погудина Т.В. - 39 стр.

UptoLike

Составители: 

Рубрика: 

в/ Некоторые S есть Р г/ Некоторые S не есть Р
Неверно, что все S не есть Р Неверно, что все S есть Р
д/ Все S есть Р
е/ Все S не есть Р
Наверно, что все S не есть Р Неверно, что все S есть Р
ж/ Все S есть Р
з/ Все S не есть Р
Некоторые S есть Р Некоторые S не есть Р
Подробнее о "логическом квадрате" в теме "Суждение".
2. Умозаключения на основе обращения
путем перемены мест терминов S и
Р в исходном категорическом суждении:
а/ Общеутвердительные суждения
Все S есть Р
Некоторые Р есть S
Все S есть Р
Все Pесть S .
Например: Все люди смертны
Некоторые из смертных есть люди
Все живые существа смертны
Все смертные - живые существа
б/ Общеотрицательные суждения
Все S не есть Р
Все Р не есть S
Например: Ни один человек не является бессмертным
Ни один бессмертный не является человеком
в/ Частноутвердительные суждения
Некоторые S есть Р
Некоторые Р есть S
Некоторые S есть Р
Все Р есть S
Например: Некоторые студенты являются спортсменами