predicate logic

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