Контрольная работа: Непосредственное умозаключение. Истинность суждений

Из высказывания "Некоторые ученые не химики" непосредственно вытекает высказывание "Неверно, что все ученые химики".

Все S не есть Р.

Неверно, что некоторые S есть Р.

Из высказывания "Все киты не рыбы" непосредственно вытекает высказывание "Неверно, что некоторые киты – рыбы".

Некоторые S есть Р.

Неверно, что все S не есть Р.

Из высказывания "Некоторые жидкости упруги" непосредственно следует высказывание "Неверно, что все жидкости неупруги".

Противные высказывания (SaP и SeP) не могут быть вместе истинными.

Все S есть Р.

Неверно, что все S не есть Р.

Из высказывания "Все летающие имеют крылья" непосредственно вытекает высказывание "Неверно, что все летающие не имеют крыльев".

Все S не есть Р.

Неверно, что все S есть Р.

Из высказывания "Все категорические высказывания не являются условными" непосредственно вытекает высказывание "Неверно, что все категорические высказывания – условные".

Из подчиняющего высказывания логически следует подчиненное:

Все S есть Р.

Некоторые S есть Р.

Из высказывания "Все люди дышат легкими" непосредственно вытекает высказывание "(По меньшей мере) некоторые люди дышат легкими".

Все S не есть Р.

Некоторые S не есть Р.

Из высказывания "Все тигры не птицы" непосредственно вытекает высказывание "Некоторые тигры не птицы".

Непосредственные умозаключения возможны здесь потому, что между суждениями, находящимися в этих отношениях, существуют определенные зависимости по истинности и ложности. Учитывая, что каждое суждение — А, Е, I, О — может находиться в трех отношениях с другими, из него можно сделать три вывода.

Например, если истинно общеутвердительное суждение (А) «Все благородные мысли находят себе сочувствие», то отсюда следует: 1) что тем более истинно частноутвердительное суждение (I): (отношение подчинения); 2) что ложно общеотрицательное суждение (Е): (отношение противоположности) и 3) что ложно частноотрицательное суждение (О): (отношение противоречия).

2. Для следующих терминов постройте диаграмму Эйлера: люди, мужчины, женщины, дети

Диаграммы Эйлера-Венна позволяют представить множества, как множества точек на плоскости, ограниченные замкнутыми кривыми круглой или овальной формы. Прямоугольная рамка ограничивает универсум. Обычно, если не требуется иное, рисуют так называемый общий случай: когда каждое из множеств имеет свои собственные точки и точки, общие с другими множествами.

Ответ:

Диаграмма Эйлера-Венна в данном случае будет иметь вид:

А

В