predicate calculus in English
What you are saying is that, strictly speaking, a proof is valid if it is written out in predicate calculus and has the right structure according to the rules of logic.
Use "predicate calculus" in a sentence
1. Predicate Calculus and Program Semantics.
2. This is not expressible as a first - order predicate calculus property.
3. In the refutation tree of predicate calculus, the proved conjunctive formula.
4. Thus a kind of new syntactical and semantical systems of fuzzy predicate calculus are formed.
5. In this paper, a conditional predicate calculus logic was proposed for representing and reasoning about PKI trust model.
6. This paper investigates the theory and application of incomplete information system by using the medium logic predicate calculus system MFM.