【计】 predicate calculus
predication; predicative【计】 predicate
figure; perform mathmatical calculations【计】 D-calculus