Синтаксическая Категория

175

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

Значения в других словарях
Синонимия

— одно из важнейших понятий логической семан­тики, выражающее тождество значений языковых выражений. Два выражения считаются синонимичными, если имеют одно и то же значение. Это исходное представление о С. Уточняется в логической семантике в различных отношениях. 1) по отношению к опреде­ленному языку или языкам. 2) по отношению к тем или иным видам языковых выражений (имен, предикатов, предложений и т. П.). 3) по отношению к определенному носителю языка. 4) по отношению к различным видам значен..

Синтаксис

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

Следование

См. Логическое следование.. ..

Следствие

См. Логическое следование.. ..

Дополнительный поиск Синтаксическая Категория Синтаксическая Категория

Добавить комментарий
Комментарии
Комментариев пока нет

На нашем сайте Вы найдете значение "Синтаксическая Категория" в словаре Словарь логики, подробное описание, примеры использования, словосочетания с выражением Синтаксическая Категория, различные варианты толкований, скрытый смысл.

Первая буква "С". Общая длина 24 символа