Loading AI tools
нерасщепимая логическая формула Из Википедии, свободной энциклопедии
Атомарная формула, элементарная формула или просто атом, в математической логике — простейший случай логической формулы; формула, которую нельзя расчленить на подформулы.
Простейшим случаем атомов являются формулы, задающие отношения. Например утверждение «x больше 3» описывается атомом БОЛЬШЕ(x,3), где предикат БОЛЬШЕ истинен, когда первый аргумент больше второго. Аналогично записав «x любит y» как ЛЮБИТ(x, y), можно представить предложение «Саша любит Дашу», как ЛЮБИТ(Саша,Дашу).
В логике первого порядка атомы также могут включать в себя функциональные символы. Общий вид атома в этом случае таков: , где — предикатный символ арности , а — термы. Например, если ОТЕЦ(x) означает «отец человека x», предложение «Ваня любит своего отца» можно представить атомом ЛЮБИТ(Ваня, ОТЕЦ(Ваня)).
В статье не хватает ссылок на источники (см. рекомендации по поиску). |
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.