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.
Copyright © 2003-2025 Farlex, Inc
Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.