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

Эту статью следует викифицировать.
Пожалуйста, оформите её согласно общим правилам и указаниям.
Стиль этой статьи неэнциклопедичен или нарушает нормы русского языка.
Статью следует исправить согласно стилистическим правилам Википедии.

Прежде чем дать формальное определение атома в логике первого порядка, рассмотрим несколько примеров.

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

Аналогично представив «x любит y» предикатом ЛЮБИТ(x, y), можно записать предложение «Маша любит Ваню», как ЛЮБИТ(Маша,Ваня).

В логике первого порядка мы также можем использовать функциональные символы. Например, можно использовать плюс(x, y), чтобы обозначить «x + y», или отец(x), что означает «отец человека x». Тогда предложение «Ваня любит своего отца» можно представить в виде ЛЮБИТ(Ваня, отец(Ваня)).

Вообще говоря, для построения атомов разрешается использовать следующие четыре типа символов:

  • Индивидуальные символы или константы. Обычно это имена объектов, такие как Маша, Ваня, 3.
  • Символы переменных, например x, y и т. п.
  • Функциональные символы
  • Предикатные символы

Первые три типа символов объединяют понятием терм.

См. также

Логический атомизм

 
Начальная страница  » 
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ы Э Ю Я
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
0 1 2 3 4 5 6 7 8 9 Home