Логика МАЭП 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.