Словарь по логике

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

СИНТАКСИЧЕСКАЯ КАТЕГОРИЯ — класс однотипных выра­жений словаря формализованного языка. Этот словарь обычно включает:индивидные знаки— константы и переменные;предикатныевыражения; знакилогических связок— от­рицания, конъюнкции, дизъюнкции и т. п.;кванторы— общ­ности и существования;пропозициональныепеременные(знаки для предложений);вспомогательныесимволы-скобки, запятые и т. п. Этот словарь служит материалом для образования формул и их преобразования.


  1. синтаксическая категория—syntactic category вчт....Русско-английский словарь по электронике
  2. синтаксическая категория—класс однотипных выражений словаря формализованного языка. Этот словарь обычно включает индивидные знаки константы и переменные предикатные выражения знаки логических св...Словарь логики