Дескрипция

Дескрипция (лат. descriptio - сүрөттөп жазуу) - формалдык тилдерде кошумча энчилүү жана жалпы аттардын ролун аткаруучу лошка-лингвистикалык термин.

Табигый тилде бул милдетти «ал», «тиги», «ошондой», «эмне» деген сыяктуу создор аткарат. Формалдык тилге Дескрипция операторлорунун кошулушу менен бирге ошого ылайыктуу постулаттар да (аксиома же корутунду эрежелер) киргизилет. Дескрипцияны белгилүү объектиге кийрүүнүн практикалык мааниси зор.