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

After docking, the ship will undergo thorough cleaning and disinfection procedures, according to the operator.

From Barron's • May 18, 2026

Some of the measures Chinese authorities have enforced include placing electronic door alarms to prevent those infected from leaving and forcibly evacuating people from their homes to carry out disinfection procedures.

From BBC • Apr. 25, 2022

Stringent disinfection procedures will be used in restrooms.

From Washington Post • Oct. 8, 2020

Discussion has revolved around using the antibody tests in possible conjunction with PCR testing, strict disinfection procedures and following practices such as social distancing.

From Los Angeles Times • May 5, 2020

In response to the outbreak, the QM2 crew has increased cleaning and disinfection procedures, the CDC said, and is asking passengers and crew to report cases of illness and "encourage hand hygiene."

From Reuters • Dec. 28, 2012