open sentence

(redirected from Logical predicate)
Also found in: Encyclopedia.

open sentence

n. Mathematics
An expression that contains at least one unknown quantity and becomes true or false when a test value is substituted for the unknown.

open sentence

n
(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

senten′tial func′tion



n. Logic.
an expression containing one or more variables that becomes meaningful when constant terms are substituted.
Also called open sentence, propositional function.
[1945–50]
References in periodicals archive ?
Each logical predicate in an MLN has a Boolean truth value, and inference in these models is an intractable combinatorial optimization.
Kaplan's logical predicate "Located', for example, has an arity of <1, 1>, meaning that it takes one individual term and one place term, as in sentence (19), which is a well-formed formula in LD.
For similar reasons, the logical predicate = had better be excluded from any place in the ranking, else it will count trivially as the only perfectly T-cosy predicate, no matter what T should happen to be.