Реферат: Логика - контрольная работа МАЭП
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.