Логика /
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.