An algorithm for deciding whether a given formula, statement, etc., is true or false within a particular logical system, or if it can be deduced from the axioms of that system.
Origin
1930s; earliest use found in Journal of Symbolic Logic.
Definition of decision procedure in US English:
decision procedure
noun
Logic Mathematics
An algorithm for deciding whether a given formula, statement, etc., is true or false within a particular logical system, or if it can be deduced from the axioms of that system.
Origin
1930s; earliest use found in Journal of Symbolic Logic.