Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap

predicate logic

You are here: irt.org | FOLDOC | predicate logic

<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.


Nearby terms: precision « predecessor « predicate calculus « predicate logic » predict » predomain » pre-emptive multitasking

FOLDOC, Topics, 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, ?, ALL

©2018 Martin Webb