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

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


Определения, значения слова в других словарях:

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

Поделиться:

Реклама