معنیشناسی صوریformal semanticsواژههای مصوب فرهنگستانمطالعۀ معنای عبارات یا جملهها در چارچوب نظامهای منطقی یا ریاضی متـ . معناشناسی صوری