# How to use *Predicate-calculus* in a sentence

predicate-calculus

Combinatorics was introduced by Ramsey to solve a special case of the decision problem for the first-order

**predicate calculus**.Such a question is irrelevant at the level of

**predicate calculus**.We extend their result to more general structures of first order

**predicate calculus**.The combinatorics was introduced by Ramsey to solve a special case of the decision problem for the first-order

**predicate calculus**.Advertisement