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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

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

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

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

См. также[править | править исходный текст]