|
psyoffice.ru » Словари и энциклопедии » Философия » А. Ивин, А. Никифорович. Словарь по логике, 1998 г.
СИНТАКСИЧЕСКАЯ КАТЕГОРИЯ
- класс однотипных выражений словаря формализованного языка. Этот словарь обычно включает: индивидные знаки - константы и переменные; предикатные выражения; знаки логических связок - отрицания, конъюнкции, дизъюнкции и т. п.; кванторы - общности и существования; пропозициональные переменные (знаки для предложений); вспомогательные символы -скобки, запятые и т. п. Этот словарь служит материалом для образования формул и их преобразования. Категория: Словари и энциклопедии » Философия » А. Ивин, А. Никифорович. Словарь по логике, 1998 г. Другие новости по теме: --- Код для вставки на сайт или в блог: Код для вставки в форум (BBCode): Прямая ссылка на эту публикацию:
|
|