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

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

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

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

См. также

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