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

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