Dictionary.com
Thesaurus.com

decision procedure

American  

noun

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


Etymology

Origin of decision procedure

First recorded in 1940–45

Example Sentences

Examples are provided to illustrate real-world usage of words in context. Any opinions expressed do not reflect the views of Dictionary.com.

The informational base for this class of rules, of which the majority decision procedure is a prominent example, is thus extremely limited, and it is clearly quite inadequate for making informed judgments about welfare economic problems.

From Project Gutenberg