Реферат: Логика контрольная 6
Это общеутвердительное суждение, т.е. "Все немцы настоящие философы"
5. Определить, в каких отношениях между собой находятся следующие суждения:
"Некоторые студенты - спортсмены" и "Некоторые студенты не есть спортсмены".
Эти суждения находятся между собой в отношении частичной совместимости и могут быть одновременно истинными, но не могут быть одновременно ложными.
"Ни один хищник не есть травоядное" и "Некоторые хищники - травоядные".
Эти суждения находятся между собой в отношении противоречия и быть не могут одновременно ни истинными, ни ложными.
6. Обратить следующие суждения:
Ни один студент не есть профессор. Ни одно S не есть Р.
Ни один профессор не есть студент. Ни одно Р не есть S.
Некоторые суждения сложные. Некоторые S суть Р.
Некоторые сложные суждения суть суждения. Некоторые Р суть S.
7. Превратить следующие суждения:
Все планеты - шарообразны. Все S суть Р.
Ни одна планета не есть не-шарообразна. Ни одно S не есть не-Р.
Некоторые птицы не летают. Некоторые S суть Р.
Некоторые птицы не могут летать. Некоторые S не суть не-Р.
8. Противопоставить следующие суждения (предикату)
Некоторые млекопитающие живут в воде. Некоторые S суть Р.
Частноутвердительное суждение посредством противопоставления предикату не преобразуется.
Все мудрецы - скромны. Все S суть Р.
Все не скромные не есть мудрецы. Ни одно не-Р не есть S.
Никакое знание не бесполезно. Ни одно S не есть Р.
Некоторые полезные вещи есть знание. Некоторые не-Р суть S.
Сложные суждения
1. Выразить в символическом виде следующие сложные суждения:
Если воду нагреть, то она расширится.
Если S есть Р, то S есть Р1 . (S – P) ® (S – P1 )
Линии бывают прямыми, или кривыми, или ломаными.
S есть Р1 , Р2 , и Р3 . S ® <Р1 ẁ Р2 ẁ Р3 >.
Умозаключение
1. Назвать составные элементы предложенных умозаключений: