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

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.