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.