Логика — контрольная работа МАЭП

В приведенных ниже суждениях определите распределённость терминов и изобразите отношение между субъектом и предикатом в круговых схемах (стр.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)
Не распре-делен
не распре-делен

Определить логическую структуру и выразить ее с помощью логических связок (стр.73)

Е) Неверно, что 5 делится на 2 или на 3
Это сложное суждение, состоящие из двух простых a – 5 делится на 2, b – 5 делится на 3. Перед суждениями стоит отрицание «Неверно, что…», поэтому суждения выглядят как «— a» и «— b». Всё выражение представляет собой дизъюнкцию — a v — b .

Ж) Береги платье снову, а честь смолоду
Два суждения a – береги платье, b – честь смолоду. Всё выражение представляет собой конъюнкцию a & b .

Д) Если я устал, то я не могу готовиться к занятиям
Два суждения a – я устал, b – я не могу готовиться к занятиям. Всё выражение представляет собой импликацию a — b .