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

Название: Логика - контрольная работа МАЭП
Раздел: Рефераты по логике
Тип: реферат

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.