Гл.2 Упр.3

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. одноместный предикат

32. логическое имя


[1] Несколько заданий набрано совместно с Т.В.Сальниковой, рядом с ними стоит [ТВС], одно – из книги Р.Столл «Множества. Логика. Аксиоматические теории» М., 1968, это задание помечено [Ст].

[2] читается "если и только если"

[3] Если для вас все равно осталось непостижимым, почему рассуждения такого типа объявляются логически неправильными, развивайте соображение: делайте тесты на проверку IQ, изучайте философию Канта и Спинозы, квантовую физику, грамматику различных языков и т.д.

[4] То, что оно правильно, разумеется, следует обосновать; здесь вы принимаете это на веру (пока) или доверяетесь своей интуиции (если она вам говорит, что в данном случае из информации посылок следует информация заключения).

[5] Не путать с «нелогичным», это, конечно, совершенно другое.

[6] Ср. «Нужно строго различать х и {х}. Первое выражение обозначает сам элемент, а второе – множество, заключающее этот элемент. Разница между ними примерно такая же, как между шимпанзе и шимпанзе, посаженным в клетку в зоопарке: {х} скорее похож на такую клетку, чем на ее обитателя» (Н.Н.Непейвода Прикладная логика. – Ижевск.1997, стр.94)


Понравилась статья? Добавь ее в закладку (CTRL+D) и не забудь поделиться с друзьями:  



double arrow
Сейчас читают про: