Логический синтаксис
ЛОГИЧЕСКИЙ СИНТАКСИС —1) система правил, определяющих построение и преобразование выражений некоторого исчисления; 2) раздел металогики, изучающий структуру и свойства неинтерпретированных исчислений.
ЛОГИЧЕСКИЙ СИНТАКСИС —1) система правил, определяющих построение и преобразование выражений некоторого исчисления; 2) раздел металогики, изучающий структуру и свойства неинтерпретированных исчислений.