Логика - доступно для всех

  • Увеличить размер шрифта
  • Размер шрифта по умолчанию
  • Уменьшить размер шрифта

Отношения между суждениями

Все S есть Р.

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

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

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

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

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

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

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

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

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

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

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

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

Все S есть Р.

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

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

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

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

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

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

Все S есть Р.

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

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

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

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

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

 

Случайная новость