Если хоть один врач не пьёт кровь, суждение «все врачи пьют кровь» — ложно.
Если суждение «некоторые врачи не пьют кровь» ложно, истинно суждение «все врачи пьют кровь».
Если «все врачи пьют кровь», значит второе суждение ложно — ни одного непьющего не существует.
Если суждение «все врачи пьют кровь ложно», следовательно, существуют непьющие кровь врачи.
Противность (A — E)
Если одно суждение из пары истинно — второе ложно. Но если одно суждение из пары ложно, то… из этого ничего не следует. Второе суждение в этом случае может быть как истинным, так и ложным.
Возьмём пару А: «Все животные умеют прыгать» и Е: «Ни одно животное не умеет прыгать».
Если мы признаём, что «все животные умеют прыгать», то второе суждение неверно. Но если мы говорим, что суждение «все животные умеют прыгать» ложно, то это ещё не значит, что ни одно животное не умеет прыгать. Потому что, вполне вероятно, есть умеющие прыгать животные и не умеющие прыгать животные.
Кстати, знаете ли вы, что одним из немногих не умеющих прыгать млекопитающих является слон?
Подчинение (A — I, E — O)
Здесь всё просто. Если истинно главное суждение (все) — истинно и подчинённое суждение (некоторые). Например, если суждение «все американцы любят картошку фри» истинно, истинно и суждение «некоторые американцы любят картошку фри».
Если главное суждение ложно — подчинённое может быть как истинным, так и ложным.
Если подчинённое суждение ложно — главное тоже ложно. Допустим, ложно суждение «некоторые шахтёры играют на скрипке». Следовательно, и суждение «все шахтёры играют на скрипке» тоже ложно.
Если же подчинённое суждение истинно, то на главное это никак не влияет. То есть, если суждение «некоторые шахтёры играют на скрипке» истинно, то мы ничего не можем сказать обо всех шахтёрах.
Подпротивная противоположность (I — O)
Оба подпротивных суждения не могут быть ложными. Любая другая комбинация допустима.
Возьмём, например, суждение «некоторые книги съедобны». Подпротивным суждением будет «некоторые книги несъедобны».
Оба суждения вполне могут быть одновременно истинными. Тогда какие-то книги будут съедобны, какие-то нет.
А вот если одно из суждений будет ложным, то второе обязательно будет истинным. Например, мы решили, что суждение «некоторые книги несъедобны» — ложно. Тогда нам следует признать, что все книги съедобны. И, следовательно, суждение «некоторые книги съедобны» истинно.