Word:

predicate logic

(logic)predicate logic - (Or "predicate calculus") An extension of propositional logic with separate symbols for predicates, subjects, and quantifiers.

For example, where propositional logic might assign a single symbol P to the proposition "All men are mortal", predicate logic can define the predicate M(x) which asserts that the subject, x, is mortal and bind x with the universal quantifier ("For all"):

All x . M(x)

Higher-order predicate logic allows predicates to be the subjects of other predicates.
Browse
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
predictor variable
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home - Privacy Policy