Выберите букву, на которую начинается слово, значение которого Вы хотите узнать:
А Б В Г Д З И К Л М Н О П Р С Т У Ф Ц Ч Э Ю Я
[Синтаксическая Категория]
а- класс однотипных выранжений словаря формализованного языка. Этот словарь обычно включает: индивидные знаки Ч константы и переменные; предикатные выражения; знаки логических связок - отнрицания, конъюнкции, дизъюнкции и т. п.; кванторы Ч общнности и существования; пропозициональные переменные (знаки для предложений); вспомогательные символы -скобки, запятые и т. п. Этот словарь служит материалом для образования формул и их преобразования.
Вернуться в раздел Эзотерические и восточные энциклопедии.
Информация