1 |
3 |
4 |
2
5
О б р а з е ц: понятие “гинеколог” (1). Используем следующую объемную диаграмму: 2 - “врач”, 3 - “военный”, 4 - “инженер”, 5 - “человек”. Строим простые суждения: р - “Иванов - гинеколог”, q -
“Иванов - врач”, r - “Иванов - военный”, s - “Иванов - инженер”, t - “Иванов - человек”. Сложное суждение - “Если Иванов - гинеко-
лог, то он с необходимостью является врачом, но не может быть ни военным, ни инженером, хотя с необходимостью является человеком.” Логическая схема сложного суждения: р(□q ((r s) □t)).
3.1.рационализатор; 3.2. радиоэлектронщик; 3.3. респиратор; 3.4. радиатор; 3.5. радист; 3.6. рвач; 3.7. радикулит; 3.8. ревматизм; 3.9. религия; 3.10. реформа; 3.11. революция; 3.12. реакция; 3.13. радиация;
3.14.репетиция; 3.15. ресторан; 3.16. рыба; 3.17. рука; 3.18. рысь; 3.19. рудокоп; 3.20. раб; 3.21. рабочий; 3.22. рыбак; 3.23. ринг; 3.24. риск;
3.25.рынок; 3.26. ракета; 3.27. розетка; 3.28. рыцарь; 3.29. ремонт;
3.30.редиска.
2.7.Логические отношения между суждениями.
Логическое отношение - это специфический характер зависимости логического значения одного суждения от логического значения другого. Общее представление о возможных логических отношениях между суждениями может быть задано при помощи следующей таблицы:
63
|
|
|
|
|
|
|
|
|
|
Суждения |
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
Сравнимые |
|
|
|
|
|
|
|
|
Несравнимые |
|
|||||||||
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Совместимые |
|
|
Несовместимые |
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Эквивалентные |
|
|
|
Контрарные |
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
Субконтрарные |
|
|
|
|
|
Контрадикторные |
||||||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
Подчиненные |
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Несравнимыми называются суждения, логические значения которых полностью независимы друг от друга:
p |
q |
и |
и |
и |
л |
л |
и |
л |
л |
В противном случае суждения называются сравнимыми.
Сравнимые суждения бывают совместимыми и несовместимыми; последние, в отличие от первых, не могут быть одновременно истинными:
p |
q |
и |
и |
и |
л |
л |
и |
л |
л |
Существует 3 вида совместимости:
-1. Полная совместимость или эквивалентность - логические значения суждений всегда совпадают, т.е.
64
p |
q |
и |
и |
и |
л |
л |
и |
л |
л |
-2. Частичная совместимость или субъконтрарность - суждения не могут быть одновременно ложными, т.е.
p |
q |
и |
и |
и |
л |
л |
и |
л |
л |
-3. Подчинение - истинность одного (подчиняющего) суждения исключает ложность другого (подчиненного), т.е.
p |
q |
и |
и |
и |
л |
л |
и |
л |
л |
р подчиняет q; |
|
p |
q |
и |
и |
и |
л |
л |
и |
л |
л |
q подчиняет р. |
|
В логике различают также 2 вида несовместимости:
-1. Противоположность или контрарность - суждения не могут быть одновременно истинными, но могут быть одновременно ложными:
65
p |
q |
и |
и |
и |
л |
л |
и |
л |
л |
-2. Противоречивость или контрадикторность - суждения не могут быть ни одновременно истинными, ни одновременно ложными:
p |
q |
и |
и |
и |
л |
л |
и |
л |
л |
Примечание. Данная классификация оказывается н е п о л н о й, если хотя бы одно из сравниваемых суждений - тождественно-истин- ная или тождественно-ложная формула. Например, для двух тожде- ственно-истинных формул мы имеем:
p |
q |
и |
и |
и |
л |
л |
и |
л |
л |
а для двух тождественно-ложных формул:
p |
q |
и |
и |
и |
л |
л |
и |
л |
л |
2.7.1. Логические отношения между простыми суждениями.
Простые суждения сравнимы только в том случае, если их субъекты и предикаты одинаковы. Логические отношения между сравни-
66