Выберите букву, на которую начинается слово, значение которого Вы хотите узнать:

А Б В Г Д З И К Л М Н О П Р С Т У Ф Ц Ч Э Ю Я

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

Вернуться в раздел Эзотерические и восточные энциклопедии.