About this document
Propositional Logic and Inference Methods by Justine Ruiz is a document available to read on EtoBox.
This document discusses propositional logic and methods of inference. It begins by defining logic and its importance in knowledge representation and expert systems. It then covers propositional logic, including logical variables, statements, compound statements, and logical connectives like conditional, bi-conditional, tautology, and contradiction. Truth tables are presented for logical connectives. Rules of inference like modus ponens, modus tollens, and substitution are explained. Finally, resolution is i
- Author
- Justine Ruiz
- Language
- EN