Dictionary.com
Thesaurus.com
Showing results for decision procedure. Search instead for selecting procedure.

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

Definitions and idiom definitions from Dictionary.com Unabridged, based on the Random House Unabridged Dictionary, © Random House, Inc. 2023

Idioms from The American Heritage® Idioms Dictionary copyright © 2002, 2001, 1995 by Houghton Mifflin Harcourt Publishing Company. Published by Houghton Mifflin Harcourt Publishing Company.