Predicate (mathematical logic)

تحويل محمول (منطق)