Простые суждения:
а) сравнимые (одинаковые S и P, но могут отличаться кванторами и связками).
Н: все школьники изучают математику;
б) несравнимые (S и P не совпадают)
Н: некоторые школьники не изучают математики.
СУЖДЕНИЯ:
а) совместимые (суждения, которые могут быть одновременно истинными).
Н: некоторые люди высокого роста / некоторые люди среднего роста.
Могут находиться в следующих отношениях:
равнозначность (это отношение между двумя суждениями, у которых субъекты, предикаты, связки и кванторы совпадают).
Н: Москва является древним городом / столица России является древним городом
подчинение (это отношение между двумя суждениями, у которых предикаты и связки совпадают, а субъекты находятся в отношении вида и рода).
Н: все растения являются живыми организмами / все цветы являются живыми организмами.
частичное совпадение (это отношение между двумя суждениями, у которых субъекты и предикаты совпадают, а связи различаются).
Н: некоторые грибы являются съедобными / некоторые грибы не являются съедобными.
В этом отношении находятся только частные, частно-утверидтельные и частно-отрицательные суждения.
б) несовместимые (суждения, которые не могут быть одновременно истинными: истинность одного из них обязательно означает ложность другого).
Н: все школьники изучают математику / некоторые школьники не изучают математику.
Могут находиться в следующих отношениях:
противоположность (это отношение между двумя суждениями, у которых субъекты и предикаты совпадают, а связки различаются).
Н: все люди являются правдивыми, все люди не являются правдивыми.
В этом отношении могут быть только общие суждения. Противоположные суждения не могут быть одновременно истинными, но могут быть одновременно ложными.
06 октября 2010 года. (5 лекция)
противоречие (этоотношение между двумя суждениями, у которых предикаты совпадают, а субъекты отличаются своими объёмам, т.е. находятся в отношении подчинения (вида и рода)).
Н: все люди являются правдивыми, некоторые люди не являются правдивыми. Важным признаком противоречащих суждении, является то, что между ними не может быть третьего, среднего, промежуточного варианта. В силу этого два противоречащих суждения не могут быть одновременно истинными и не могут быть одновременно ложными: истинность одного из них обязательно означает ложность другого и наоборот.