Noun | 1. | predicate calculus - a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)Synonyms: functional calculus |

predicate calculus - predicate logic |

Browse

Predestiny

predeterminaation

Predeterminable

Predeterminate

Predetermination

Predetermine

predetermined

Predial

Predial servitude

Prediastolic

Predicability

Predicable

Predicament

Predicamental

Predicant

Predicate

**-- predicate calculus --**

predicate logic

Predication

Predicative

predicatively

predicator

Predicatory

Predicrotic

Predict

predictability

Predictable

predictably

predicted

Prediction

Predictional

Predictive

Predictor

predeterminaation

Predeterminable

Predeterminate

Predetermination

Predetermine

predetermined

Predial

Predial servitude

Prediastolic

Predicability

Predicable

Predicament

Predicamental

Predicant

Predicate

predicate logic

Predication

Predicative

predicatively

predicator

Predicatory

Predicrotic

Predict

predictability

Predictable

predictably

predicted

Prediction

Predictional

Predictive

Predictor