Викия

Математика

Атом

1457статей на
этой вики
Добавить новую страницу
Обсуждение0 Share

Обнаружено использование расширения AdBlock.


Викия — это свободный ресурс, который существует и развивается за счёт рекламы. Для блокирующих рекламу пользователей мы предоставляем модифицированную версию сайта.

Викия не будет доступна для последующих модификаций. Если вы желаете продолжать работать со страницей, то, пожалуйста, отключите расширение для блокировки рекламы.

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

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

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

См. также Править

Викия-сеть

Случайная вики