Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
predicate logic
Jump to user comments
logic (Or "predicate calculus") An extension of
propositional logic with separate symbols for predicates,
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 universalquantifier ("For all"):