first order logic

[ریاضیات] منطق مرتبه ی یک