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

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

Этот словарь служит материалом для образования формул и их преобразования.

СЛЕДОВАНИЕ, см.: Логическое следование.

СЛЕДСТВИЕ, см.: Логическое следование.

Вернуться к оглавлению

© 2000- NIV