ИНДИВИД

(individual)

Отдельный логический элемент домена, являющийся неделимым без потери идентичности.

Пример - Отдельная постоянная величина (константа) - это символ, используемый для ссылки на какой-либо отдельный объект, представляющий логический эквивалент "имени" в обиходном языке. В логике первого порядка аргументы предикатов (утверждений) всегда являются отдельными константами.

Примечание 1 - Дополнительная информация приведена в [5].

Примечание 2 - Данный термин обычно используется в формальной логике.

Примечание 3 - В логике первого порядка только индивидуумы являются отдельными константами.