decision procedure

noun Logic.
a procedure, as an algorithm, for determining in a finite number of steps the validity of any of a certain class of propositions.

1940–45 Unabridged
Based on the Random House Dictionary, © Random House, Inc. 2014.
Cite This Source Link To decision-procedure
Previous Definition: decision, valley of
Next Definition: decision-theory
Words Near: decision-procedure
More from
Synonyms and Antonyms for decision-procedure
More from
Search for articles containing decision-procedure Word FAQs presents 366 FAQs, incorporating some of the frequently asked questions from the past with newer queries.

Copyright © 2014, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature