Контрольная Контрольная работа по логике вариант 14, номер: 201892

"Содержание

Задача 4. 3
Задача 5. 4
Задача 6. 6
Список использованной литературы 7
Задача 4.
Сделать вывод из посылок, если это возможно:

1. Котенок, который любит рыбу, поддается дрессировке.
2. Котенок без хвоста не станет играть с гориллой.
3. Котенок с усами всегда любят рыбу.
4. У котенка, поддающегося дрессировке, не бывает желтых глаз.
5. Котенок, у которого нет хвоста, не имеет усов.
Задача 5.
Привести формулы к нормальной форме:

(((((( A?A)?(B?B))?(C?C))?C)?(A?B))?(A?(A?A)))

Формула имеет нормальную форму, если в качестве связок в ней присутствуют только конъюнкции или дизъюнкции, а отрицания относятся только к переменным [1, с. 121]. Для приведения формулы к нормальной форме необходимо пользоваться основными логическими равносильностями [3, с. 109-112]:
1. А ? А
=
2. А ? А –закон двойного отрицания

3. (А /\ В) ? (В /\ А) - закон коммуникативности/

4. (А\/ В) ? (В \/ А) – закон коммуникативности

5. (А /\ (В /\ С)) ? (( А /\ В) /\ С) – закон ассоциативности

6. (А \/ (В \/ С)) ? ((А \/ В) \/ С) – закон ассоциативности

7. (А /\ (В \/ С)) ? ((А /\ В) \/ (А /\ С)) – закон дистрибутивности

8. (А \/ (В /\ С)) ? ((А \/ В) /\ (А \/ С)) – закон дистрибутивности

9. (А /\ А) ?А - закон идемпотентности

10. (А \/ А) ? А – закон идемпотентности
____ _ _
11. (А /\ В) ? (А \/ В) – закон де Моргана
_____ _ _
12. (А \/ В) ? (А /\ В) – закон де Моргана
_____
13. (А ? В) ? (А /\ В)
_
14. (А ? В) ? (А \/ В)
____
15. (А /\ В) ? (А ? В)
_ _
16. (А /\ В) ? (А \/ В)
_ _
17. (А \/ В) ? (А /\ В)
18. (А \/ (А /\ В)) ? А -закон поглощения

19. (А /\ (А \/ В)) ? А -закон поглощения

20. (А ? В) ? ((А ? В) /\ (В ? А))
_ _
21. (А ? В) ? ((А \/ В) /\ (В \/ А))
____
22. (А ? В) ? (А \/ В)
_ _
23. (А \/ В) ? ((А \/ В) /\ (А \/ В))
_ _
24. (А ? В) ? (В ? А)
_ _
25. (А ? В) ? ((А ? В) /\ (А ? В))

26. (А /\ И) ? А

27. (А /\ Л) ? Л

28. (А \/ И) ? И

29. (А \/ Л) ? А
_ _
30. (А ? В) ? (А /\ В) ? - стрелка Пирса
_ _
31. (А | В) ? (А \/ В) | - штрих Шеффера
Задача 6.
Дайте логическую характеристику понятию Симфония Бетховена
Список использованной литературы

1. Берков В.Ф. Логика: Учебник. – М.: НТООО «ТетраСистемс», 2012 – 256 с.
2. Гетманова А.Д. Учебник по логике. – М.: КНОРУС, 2011 – 385 с.
3. Рузавин Г.И. Логика и аргументация: Учебное пособие. – М.: ЮНИТИ, 2011 – 357 с.

"