Дескрипция

Дескрипция ( — описывать) — это описание, т.е. конструкция, по форме имеющая вид «тот \ldots, который \ldots». При построении логических средств она включается в язык в числе термов. Определенная дескрипция соответствует терму ιx.Φ, который канонически читается как «тот единственный x, для которого выполняется (верно) Φ». Неопределенная дескрипция соответствует терму εx.Φ, который канонически читается как «тот x, для которого выполняется (верно) Φ».

См. также


  • Теория дескрипций
  • Дескрипционная логика
  • Математическая логика
  • Семантическая сеть