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