СИНТАКСИЧЕСКАЯ КАТЕГОРИЯ

– класс однотипных выражений словаря формализованного языка. Этот словарь обычно включает: индивидные знаки – константы и переменные; предикатные выражения; знаки логических связок – отрицания, конъюнкции, дизъюнкции и т. п.; кванторы – общности и существования; пропозициональные переменные (знаки для предложений); вспомогательные символы -скобки, запятые и т. п.

Этот словарь служит материалом для образования формул и их преобразования.