Пример формальной логики

Как правильно прочитать логическую формулу:
4 года назад от Виолетта иванова

1 ответ



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

Из того, что существует некоторый х, такой что предикат Person (х) истинен И для любого у, для которого истинен предикат Time следует, что истинен предикат Happy. Или, еще можно сказать, что из того, что существует некоторый х, принадлежащий унарному отношению Person И любой у, принадлежащий унарному отношению Time, следует, что пара (х, у) принадлежит отношению Happy.

Если вопрос о содержании, то, вероятно, автор формулы имел ввиду, что "существует человек который счастлив все время".
4 года назад от Robertpi

Связанные вопросы

1 ответ
7 года назад от XFluFFyX