ЛОГИЧЕСКИЙ СИНТАКСИС – см. Формализованный язык.