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