predicate calculus

در ادبیات، حساب گزاره ها ( مسند و اسم وکمیت سنج )