Что такое Синтаксическая Категория? Значение Синтаксическая Категория в словаре логики

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

Синтаксическая Категория

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

Узнайте лексическое, прямое, переносное значение следующих слов:



Прикладные словари

Справочные словари

Толковые словари

Жаргонные словари

Гуманитарные словари

Технические словари