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

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

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.