formal syntax

[ریاضیات] نحو منطقی