Каталог :: Логика

Контрольная: Логика - контрольная работа МАЭП

1.       В приведенных ниже суждениях определите распределённость терминов и
изобразите отношение между субъектом и предикатом в круговых схемах (стр.61,
упр.2)
     №пп Суждение S – субъект P – предикат Тип сужде-ния Распре-делен-ность субьекта Распреде-ленность предикта Круговая схема
А) Не все то золото, что блестит то золото что блестит Тип J – частно-утверди-тельное   (Некото-рые S   есть P) Не распре-делен не распре-делен 
Б) Аксиомы самоочевидны Аксиомы Самооче-видны тип А – общеут-верди-тельное  (Все S есть P) Распре-делен не распре-делен 
В) Все хорошо, что хорошо кончается Хорошо Хорошо кончается тип А – общеут-верди-тельное  (Все S есть P) Распре-делен не распре-делен 
Г) Многие соли растворяются в воде Соли Растворя-ются в воде Тип J – частно-утверди-тельное   (Некото-рые S   есть P) Не распре-делен не распре-делен 
Д) Часть народов России принадлежит к монгольской расе народов России Принадле-жит к монгольс-кой расе Тип J – частно-утверди-тельное   (Некото-рые S   есть P) Не распре-делен не распре-делен 
Е) Некоторые металлы хрупки Металлы Хрупки Тип J – частно-утверди-тельное   (Некото-рые S   есть P) Не распре-делен не распре-делен 
Ж) Не все книги являются словарями Книги являются словарями Тип J – частно-утверди-тельное   (Некото-рые S   есть P) Не распре-делен не распре-делен 
З) Многие растения не употребляются в пищу растения употребляются в пищу Тип О – частно-отрица-тельное (Некото-рые S не есть P) не распре-делен Распределен 
И) Некоторые христиане являются православными христиане являются православными Тип J – частно-утверди-тельное   (Некото-рые S   есть P) Не распре-делен не распре-делен 
К) Отдельные животные не имеют легких животные имеют легких Тип О – частно-отрица-тельное (Некото-рые S не есть P) не распре-делен Распределен 
Л) Реки есть естественные пути сообщения Реки естественные пути сообще-ния тип А – общеут-верди-тельное  (Все S есть P) Распре-делен не распре-делен 
М) Все излишества губят здоровье Изли-шества губят здоровье тип А – общеут-верди-тельное  (Все S есть P) Распре-делен не распре-делен 
Н) Все православные есть христиане православные христиане тип А – общеут-верди-тельное  (Все S есть P) Распре-делен не распре-делен 
О) Ни один из римских рабов не обладал гражданским правом Из римских рабом обладал гражданским правом Тип E –   обще- отрица-тельное (Ни одно S не есть  P) Распре- делен Распределен 
П) Наука изощряет ум Наука Изощряет ум тип А – общеут-верди-тельное  (Все S есть P) Распре-делен не распре-делен 
Р) Привычка притупляет чуствитель-ность Привычка притупляет чуствитель-ность Тип J – частно-утверди-тельное   (Некото-рые S   есть P) Не распре-делен не распре-делен 
2.       Определить логическую структуру и выразить ее с помощью логических
связок (стр.73)
Е)  Неверно, что 5 делится на 2 или на 3
Это сложное суждение, состоящие из двух простых: a – 5 делится на 2, 
b – 5 делится на 3. Перед  суждениями стоит отрицание «Неверно, что.»,
поэтому суждения выглядят как «— a» и «-- b». Всё выражение
представляет собой дизъюнкцию:   -- a  v  -- b .
Ж)  Береги платье снову, а честь смолоду
Два суждения a – береги платье, b – честь смолоду. Всё выражение
представляет собой конъюнкцию:  a   &   b .
Д) Если я устал, то я не могу готовиться к занятиям
Два суждения a – я устал,  b – я не могу готовиться к занятиям.
Всё выражение представляет собой импликацию:  a   --   b 
.
3.