Sentencelike expression that may be thought of as obtained from a sentence by substituting variables for constants occurring in the sentence. For example, x was a parent of y may be thought of as obtained from Adam was a parent of Abel. A propositional function therefore has no truth-value, becoming true or false only when its free variables are replaced by constants of appropriate syntactic categories (e.g., Abraham was a parent of Isaac).
This entry comes from Encyclopædia Britannica Concise.
For the full entry on propositional function, visit Britannica.com.
Seen & Heard
What made you look up propositional function? Please tell us what you were reading, watching or discussing that led you here.