decidable predicate

decidable predicate

[di′sīd·ə·bəl ′pred·ə·kət]
(mathematics)
A predicate for which there exists an algorithm which, for any given value of its independent variables, provides a definite answer as to whether or not it is true.
McGraw-Hill Dictionary of Scientific & Technical Terms, 6E, Copyright © 2003 by The McGraw-Hill Companies, Inc.