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