Decision Procedure (noun) Definition, Meaning & Examples

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.
Decision Procedure (noun) Definition, Meaning & Examples

More Definitions