This chapter presents basic concepts such as formal proofs, the satisfiability problem, soundness and completeness, and the trade-off between expressiveness and decidability. It also includes the theoretical basis for the rest of the book.
Keywords
- Decision Procedure
- Propositional Logic
- Conjunctive Normal Form
- Disjunctive Normal Form
- Propositional Formula
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.