predicate calculus

[ریاضیات] حساب محمولات