{formal semantics} [زبان شناسی] مطالعۀ معنای عبارات یا جمله ها در چارچوب نظام های منطقی یا ریاضی متـ . معناشناسی صوری
