|
Вниманию специалистов по логике предлагается вереница выражений, для установления логического содержания и формализации которых требуется некоторый творческий элемент.
Следующие высказывания нужно формализировать средствами неклассических логик:
1. Бди!
2. Быть или не быть?
3. Во всем, как хотите, чтобы другие поступали с вами, поступайте и вы с ними.
4. Всякий хочет знать всё о другом.
5. Вы полагаете, всё это будет носиться? – Я полагаю, что всё это следует шить!
6. За нежелаемый результат действия можно наказывать.
7. Золотая Рыбка, я желаю, чтобы ты сделала так, чтобы исполнилось любое моё желание.
8. Инквизитор убеждён, что Галилей ошибается в том, что Земля вертится.
9. Кошелёк или жизнь!
10. Миру – мир!
11. Моё сомнение несомненно.
12. Можно разрешить только возможное.
13. На всякого мудреца довольно простоты.
14. Не зная броду, не суйся в воду.
15. Не убий!
16. Нужно взять такси, иначе опоздаю на поезд.
17. Пилат спросил у Христа: «Что есть истина?»
18. Познай самого себя.
19. Пойди туда – не знаю, куда; принеси то – не знаю, что.
20. Сказано – сделано!
21. Сомневайся во всём!
22. Так вы не верите, что существуют убеждения? – Да. – Это ваше убеждение? –Да.
23. Чему быть, того не миновать.
24. Я знаю, что я ничего не знаю.
Прошу приводить возможные предложения.
|
