# predicate calculus in a sentence

## Example sentences for predicate calculus

Then using this theorem he showed the consistency of first order predicate calculus in the form of natural deduction system.

Using this method, the program is represented by a theorem and is proved with first-order predicate calculus.