Выявите и запишите логические формы следующих высказываний с использованием языка логики предикатов с равенством

Найдите структуру следующих выражений с учетом предложенной символизации.

Упражнения

9. Сопоставьте следующим предложениям их логическую структуру в изученном языке КЛП¹⁼ с учетом следующей символизации:

Судья – P¹

Юрист – Q¹

Восхищаться – R²

Жулик – S¹

Судья Джонс – a

1. ⁺ [Cт] Все судьи – юристы.

2. ⁺ [Cт] Некоторые юристы восхищаются только судьями.

3. ⁺ [Cт] Не все юристы – судьи.

4. ⁺ [Cт]Судья Джонс не восхищается ни одним жуликом.

5. ⁺ [Cт] Существуют как юристы, так и жулики, которые восхищаются судьей Джонсом.

6. ⁺ [Cт] Все судьи восхищаются только судьями.

7. ⁺ [Cт] Только судьи восхищаются судьями.

итальянец – Р¹

француз – Q¹

любить – R²

Мотерацци – а

Зидан – b

футбол – с₁

теннис – с₂

1. Мотерацци – итальянец.
2. Мотерацци – не француз, а итальянец, а Зидан француз.
3. И Мотерацци, и Зидан любят и футбол, и теннис.
4. Мотерацци любит Зидана, но не взаимно.
5. Все итальянцы любят футбол.
6. Ни один итальянец не любит теннис.
7. Некоторые итальянцы любят теннис.
8. Лишь некоторые итальянцы любят теннис.
9. По меньшей мере некоторые французы любят футбол, и Зидан среди них.
10. Некоторые французы не любят некоторых итальянцев, и некоторые итальянцы не любят некоторых французов.
11. Некоторые итальянцы и французы не любят друг друга.
12. Каждый итальянец не любит хотя бы одного француза.
13. Мотерацци не любит никого, кроме Зидана, а Зидан всех, кроме Мотерацци. (используйте здесь символ равенства =)

1. Маша – студентка.

2. Маша и Оля – студентки.

3. Маша и Оля – ровесницы. (используйте символ =)

4. Москва древнее Нью-Йорка.

5. Население Москвы больше, чем население Киева.

6. Я знаю тебя лучше, чем его.

7. Я знаю себя лучше, чем тебя.

8. А.С.Пушкин и Л.Кэролл – не современники.

9. Маша и Оля студентки, и Оля старше Маши.

10. Некоторые люди страдают бессонницей.

11. Ни один пингвин не способен освоить логику, и я такой же.

12. Лишь некоторые англичане разговорчивы.

13. По меньшей мере некоторые итальянцы пьют эспрессо.

14. Я тебя не люблю.

15. Не тебя я люблю. (используйте здесь символ равенства =)

16. Не я тебя люблю. (используйте здесь символ равенства =)

17. Я люблю тех, кто любит меня.

18. Я люблю только тех, кто любит меня.

19. Все водные животные, кроме китов и дельфинов, холоднокровны.

20. Есть такой человек, что если он гений, то и я такой же.

21. Есть такой человек, что если он гений, то все гении.

22. Невесты не бывают лысыми, беззубыми занудами, хотя некоторые невесты зануды, у некоторых есть пломбы и некоторые носят парики.[7]

23. Человек человеку волк, товарищ и брат.

24. Каждый знает кого-нибудь.

25. Нет человека, который знает всех.

26. Никто не является современником всем, но каждый кому-нибудь современник.

27. Некоторые юристы знают некоторых философов лучше, чем какого бы ни было математика.

28. Вассал моего вассала не мой вассал.

29. В нашей группе все уважают друг друга.

30. [Н] Все племена кочевников воевали друг с другом.

31. Все участники конференции – из Москвы, Петербурга, Новосибирска и Твери.

32. Никто меня не понимает, даже я сам.[8]

33. Никто, кроме тебя, меня не понимает, не считая меня самого, разумеется. (используйте здесь символ равенства =)

34. В нашей палате все уважают друг друга, не считая А.Македонского, который уважает только себя. (используйте здесь символ равенства =)

35. Волга – самая длинная река в Европе. (используйте здесь символ равенства =)

36. Волга длиннее любой европейской реки.

37. У меня только два верных друга: Джордж Буш младший и Усана Бен Ладен.

38. Если ты тупее самого тупого, то тебя не существует.

39. Если x положительно, то x² положительно.

40. Всякое положительное число больше любого отрицательного.

Тема 3: От языковых структур к выражениям естественного языка и/или содержательных теорий: интерпретации и модели

Основные понятия, которые необходимо усвоить: · сигнатура · предметная область, на которой интерпретируется сигнатура = носитель интерпретации · интерпретация сигнатуры (возможная реализация) · истинность формулы в интерпретации · модель для множества предложений · контрмодель для множества предложений КЛП

Дата добавления: 2014-12-27