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

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 .