Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Propositional function
open-in-new
<p>In <a href="/facts/Propositional_calculus/MNt5v31V">propositional calculus</a>, a propositional function or a predicate is a sentence expressed in a way that would assume the value of <a href="/facts/Logical_truth/N0bUYhUW">true</a> or <a href="/facts/False_(logic)/H6v5aztR">false</a>, except that within the sentence there is a <a href="/facts/Variable_(mathematics)/VbQlrvKz">variable</a> (<i>x</i>) that is not defined or specified (thus being a <a href="/facts/Free_variable/ndWnXXYs">free variable</a>), which leaves the statement undetermined. The sentence may contain several such variables (e.g. <i>n</i> variables, in which case the function takes <i>n</i> arguments). </p>