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

Найдено 1 определение
СИНТАКСИЧЕСКАЯ КАТЕГОРИЯ

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

Источник: Словарь по логике



Найдено научных статей по теме — 1

Читать PDF
318.18 кб

Синтаксическая интерпретация категорических атрибутивных высказываний

Шалак Владимир Иванович
В статье предложен новый вид моделей для категорических атрибутивных высказываний.