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