Атом (логика)

У этого термина существуют и другие значения, см. Атом (значения).

Атом в математической логике — простейший случай формулы; формула, которую нельзя расчленить на подформулы.

Простейшим случаем атомов являются формулы, задающие отношения. Например утверждение «x больше 3» описывается атомом БОЛЬШЕ(x,3), где предикат БОЛЬШЕ истиннен, когда первый аргумент больше второго. Аналогично записав «x любит y» как ЛЮБИТ(x, y), можно представить предложение «Саша любит Дашу», как ЛЮБИТ(Саша,Дашу).

В логике первого порядка атомы также могут включать в себя функциональные символы. Общий вид атома в этом случае таков: $p(t_1,\ldots,t_n)$, где $p$ — предикатный символ арности $n$, а $t_1,\ldots,t_n$ — термы. Например, если ОТЕЦ(x) означает «отец человека x», предложение «Ваня любит своего отца» можно представить атомом ЛЮБИТ(Ваня, ОТЕЦ(Ваня)).

См. также

• Логика первого порядка
• Логический атомизм

В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете отредактировать эту статью, добавив ссылки на авторитетные источники. Эта отметка установлена 12 мая 2011.