Министерство образования и науки Российской Федерации

Федеральное государственное автономное образовательное учреждение

высшего профессионального образования

«Российский государственный профессионально-педагогический

университет»

Институт экономики и управления

Кафедра философии.

Контрольная работа

По дисциплине : « Логика »

Тема : «………………………………………..»

Вариант № 10

Зачётная книжка №
Выполнил студент

группы

Проверил преподаватель

...…………………………

...…………………………

Екатеринбург

2011


Содержание

1. 
   Дать логическую характеристику понятию «юриспруденция»…..….….3
   
2. 
   Произвести сложение понятий и изобразить их объемы на кругах
   

Эйлера………………………………………………………..……………........3

3. 
   Произвести обобщение понятия «любовь»……………………….…..….3
   
4. 
   Соблюдены ли правила определения понятия? Если нет, то указать,
   

какие из них нарушены? ……………………………………………………..4

5. 
   Сформулируйте суждения, которые бы находились в отношениях
   

контрарности, контрадикторности и подчинения к суждению……….........4

6. 
   Произвести превращение суждения…………………………………........4
   
7. 
   Произвести противопоставление субъекту в суждении………………....5
   
8. 
   Сделать вывод по силлогизму в умозаключении………………….…..…5
   
9. 
   Сделать вывод в сорите…………………………………………………....5
   
10. 
    Табличным способом обосновать правильность вывода………..…........5
    
11. 
    С помощью КНФ опровергнуть или доказать рассуждение……..……...6
    
12. 
    С помощью совершенной ДНФ найти возможные гипотезы для
    

формулы…………………………………………………………..……..….….7

Список литературы………………………………………………….……..9

1. 
   Дать логическую характеристику понятию «юриспруденция».
   

Понятие «юриспруденция» является по объему общим (т.к. в его объеме находится более двух предметов),собирательным. По содержанию

конкретным (понятие, отражающее предмет или явление в его целостности),

безотносительным (понятие, которое не имеет ярко выраженной противоположности).
2. Произвести сложение понятий и изобразить их объемы на кругах Эйлера:

«определение», «логическая операция», «операция», «явное определение».

Сложение понятий - это образование из двух и более исходных понятий такого, в объем которого входят все предметы объемов всех исходных понятий, и только они.

Результатом сложения будет понятие «операция».
3. Произвести обобщение понятия «любовь».



Обобщение понятия – это логическая операция, когда осуществляется переход от видового понятия к родовому путем отбрасывания от первого его видообразующего признака или признаков.

Если от содержания понятия «Любовь» отбросить признак «сильное влечение, между людьми разного пола», то получим понятие «Чувство».
4. Соблюдены ли правила определения понятия? Если нет, то указать, какие из них нарушены?

«осел - это животное».

Нарушено следующее правило: объем определяемого и определяющего должны полностью совпадать.

Объем определяющего понятия шире, чем объем определяемого, т.е. отсутствует специфический, видообразующий признак.
5. Сформулируйте суждения, которые бы находились в отношениях контрарности, контрадикторности и подчинения к суждению.

Суждение «Некоторые глаголы пишутся с частицей “не” вместе» является частноутвердительным (I).

Суждения типа A и I находятся в отношении подчинения: Все глаголы пишутся с частицей «не» вместе.

Суждения типа I и Е находятся в отношении контрадикторности: Все глаголы пишутся с частицей «не» раздельно.

Суждения типа I и О находятся в отношении субконтрарности: Некоторые глаголы пишутся с частицей «не» раздельно.
6. Произвести превращение суждения

«Гусь свинье не товарищ».



Преобразование суждения в суждение, противоположное по качеству с предикатом, противоречащим предикату исходного суждения, называется превращением.

«Гусь свинье не товарищ» – общеотрицательное суждение. Оно превращается в общеутвердительное – Гусь не свинье товарищ.

7. Произвести противопоставление субъекту в суждении

«Любой сорит прост».

Противопоставление субъекту – это последовательно выполненные операции обращения и превращения. Пример превращения был приведен в предыдущем задании. Обращение это такое преобразование суждения, при котором субъект исходного суждения становиться предикатом, а предикат – субъектом заключения.

Любой сорит прост – Любой не сорит не прост – Любое не простое умозаключение – не сорит.
8. Сделать вывод по силлогизму в умозаключении

«Пауки ткут паутину. Некоторые существа, не ткущие паутину – дикари. Следовательно…».

… Дикари не являются пауками.
9. Сделать вывод в сорите

«Щенок, не желающий лежать спокойно, всегда будет вам благодарен, если вы предложите ему скакалку. Хромой щенок не скажет вам спасибо, если вы предложите ему скакалку. Никто, кроме хромых щенят, не станет ткать полотно. Следовательно…».

… Не станет ткать полотно щенок, не желающий лежать спокойно.
10. Табличным способом обосновать правильность вывода:

«Если бы марсианские моря (А) представляли собой покровы обычной растительности (В), то они не отличались бы такой же гладкостью (С), как и 

светлые пространства-пустыни (D), а имели бы характерную для растительности изрезанную поверхность. Согласно многим наблюдениям марсианские моря отличаются такой же гладкостью, как и светлые пространства-пустыни. Следовательно, они не представляют собой покровов обычной растительности».

«Если бы марсианские моря представляли собой покровы обычной растительности (А), то они не отличались бы такой же гладкостью, как и светлые пространства-пустыни (не В), а имели бы характерную для растительности изрезанную поверхность (С). Согласно многим наблюдениям марсианские моря отличаются такой же гладкостью, как и светлые пространства-пустыни (В). Следовательно, они не представляют собой покровов обычной растительности (не А)».

((A→B∧C)∧B)→A

А	В	С	B∧C	(A→B∧C	((A→B∧C)∧B)	((A→B∧C)∧B)→A
И	И	И	Л	Л	Л	И
И	И	Л	Л	Л	Л	И
И	Л	И	И	И	Л	И
Л	И	И	Л	И	И	И
И	Л	Л	И	И	Л	И
Л	Л	И	Л	И	Л	И
Л	И	Л	Л	И	И	И
И	Л	Л	И	И	Л	И
Л	Л	И	Л	И	Л	И
Л	И	Л	Л	И	И	И
Л	Л	Л	Л	И	Л	И

11. С помощью КНФ опровергнуть или доказать рассуждение

«Если игроки “Динамо” выигрывают матч (А), то команда “Спартак” займет призовое место (B). Если команда “Спартак” займет призовое место (B), то команда “Торпедо” потерпит поражение (C). Но команда “Торпедо” 

не потерпела поражения (не С). Следовательно, либо игроки “Динамо” не выиграли матч (не А), либо “Спартак” не занял призового места (не В)».
Запишем формулу: A→B∧B→C∧C→AÑB≡(A∨B∧(B∨C)∧C))∨((A∨B)∧(A∨B))≡(A∨B∧((B∧C)∨(C∧C)))∨((A∨B)∧(A∨B))≡(A∨B∧B∧C)∨((A∨B)∧(A∨B))≡(A∧B)∨(B∧B)∧C)∨((A∨B)∧(A∨B))≡(A∧B)∧C)∨((A∨B)∧(A∨B))≡(A∧B∧C)∨((A∨B)∧(A∨B))≡((A∧B∧C)∧(A∨B))∨((A∧B∧C)∧(A∨B))≡(A∧B∧C)

КНФ не является тождественно истинной, значит вывод неверен.
12. С помощью совершенной ДНФ найти возможные гипотезы для формулы:

(((А ® ((B ® C) ® (C ®D))) ®(((B«B) «A) «A))
Алгоритм построения ДНФ:

привести формулу к нормальной форме с помощью равносильностей:

(АВ)( АВ)

 (АВ)  (  А В)

 (АВ)  (  А В)

(АВ)(( АВ)( ВА))

убрать из формулы все ненужные знаки;

Например, упростим:

B↔B≡B;

B↔A↔A≡B→A∧A→B→A∧A→B→A∧A→B≡B∨A∧A∧B∨A∧(A∨(B∨A∧A∨B)≡B∨A∧A∧((B∧A∨B)≡A∧B

B→C→(C→D)≡C∨D

И так далее приведем формулу к виду:

A∧C∧D∨(A∧B)


по внешнему виду ДНФ определить, является ли она тождественно-ложной (тождественно-ложной является ДНФ, каждый дизъюнкт которой имеет хотя бы одну переменную и одновременно ее отрицание); если ДНФ является тождественно-ложной, то формула является логическим противоречием, а исходное рассуждение – опровергнуто.




Список литературы

1. 
   Арно А., Николь П. Логика или искусство мыслить. М., 1991.
   
2. 
   Большакова Т.С. Сборник задач по логике. Новосибирск, 1964.
   
3. 
   Брюшинкин В.Н. Практический курс логики для гуманитариев. М., 1996.
   
4. 
   Григорьев Б.В. Классическая логика. М., 1996.
   
5. 
   Светлов В.А. Практическая логика. Спб., 1995.