Decision Problem

https://en.wikipedia.org/wiki/Decision_problem

Decision Problem is a subset of problems which have “yes/no” answers. Studied in Computational Complexity Theory and Computability Theory.

A decision problem which can be solved by an algorithm is called Decidable.

• Propositional Logic is Decidable
• Predicate Logic is undecidable

Predicate logic is semi-decidable.