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