open sentence(redirected from Logical predicate)
Also found in: Encyclopedia.
An expression that contains at least one unknown quantity and becomes true or false when a test value is substituted for the unknown.
(Logic) logic an expression containing a free variable that can be replaced by a name to yield a sentence, as x is wise. Also called: propositional function or sentential function
an expression containing one or more variables that becomes meaningful when constant terms are substituted.Also called open sentence, propositional function.