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

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.

Vocabulary.com logo
by dictionary.com

Dictionary.com's Learning Companion

Go beyond just looking up words.
Remember them forever with VocabTrainer.

Start training