Следование

-я, ср.. ..

• неукоснительное следование. ..

Соблюдение, приверженность, руководствование, эпигонство, движение, подражание. Ant. Нарушение. ..

Ср.Процесс действия по знач. Глаг. Следовать (1,3,4).. ..

СЛЕ́ДОВАНИЕ см. Следовать.. ..

Следования, мн. Нет, ср. (книжн.). Действие по глаг. Следовать в 1, 3, 4 и 8 знач. Во время следования поезда. По пути следования войск. Следование новой моде. Следование запутанного дела.. ..

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

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

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

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