Dictionary.com
Thesaurus.com
Showing results for decision procedure. Search instead for applying 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.

Vocabulary.com logo
by dictionary.com

Look it up. Learn it forever.

Remember "decision procedure" for good with VocabTrainer. Expand your vocabulary effortlessly with personalized learning tools that adapt to your goals.

Take me to Vocabulary.com