Синтаксис(греч. Syntaxis — построение, порядок)

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

[311]

вил построения выражений этого языка и проверки того, являются ли эти выражения правильно построенными формулами, аксиомами, теоремами, выводами или доказательствами.

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

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

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

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

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

СЛОЖНОЕ ВЫСКАЗЫВАНИЕ

- высказывание, полученное с помощью логических связок из простых высказываний. Наиболее употребительны С. в., образованные с помощью слов: «и», «или», «если, то», «если и только если», «не». Вместо этих слов в логике используются символы: &, v, ->, º, ~. С. в. А& В называется конъюнкцией («А и В»), A v В - дизъюнкцией («А или В»), А -> В — импликацией («Если A, то В»), А = В — эквивалентностью («А, если и только если В»), ~ А — отрицанием («Неверно, что A», или «не-A»).

Установление смысла и способа употребления логических связок, позволяющих образовывать С. в., является задачей наиболее фундаментальной и вместе с тем самой простой части логики — исчисления высказываний.

Содержание