decision problem
nounDefinition of decision problem
: the problem of finding an effective method for deciding whether a given formula is true within the framework of the calculus to which it belongs