Название реферата: Логика - контрольная работа МАЭП
Раздел: Логика
Скачано с сайта: www.newreferat.com
Дата размещения: 15.09.2011

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

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.