Объемы двух понятий исключают друг друга, но
входят в третье более широкое. 1. Суждение «Некоторые студенты учатся в
МГЮА» является частноутвердительным, т.к.
в нем присутствует частный квантор «некоторые» и нет отрицательной частицы НЕ.Некоторые студенты учатся в
МГЮА КВ S P Некоторые S есть Р I
S- P+
Суждение
«Ни один студент не учится в МГЮА» является общеотрицательным, т.к. в нем присутствует общий квантор «ни один»
и есть отрицательная частица НЕ.Ни один студент не учится в МГЮА КВ S P
Ни один S не есть Р Е
S+ P+
Суждения находятся в отношении
противоречия и не могут быть одновременно не истинными не ложными (Е – I).
4. Суждение «В здоровом
теле здоровый дух» является общеутвердительным.В здоровом теле здоровый дух S P
Все S
есть Р А S+
P-
5. Суждение «Не верно, что Митя и Вася весь день
просидели перед компьютером» является
противоречащим. Оно эквивалентно суждению «Митя и Вася НЕ весь день просидели перед компьютером». По
правилу частноотрицательных суждений имеем «Некоторые S не есть Р».Митя и Вася НЕ весь день
просидели перед компьютером S
P
Некоторые S
не есть Р О S- P+