Extracted topics from above image

Unit I: Introduction, History, and Philosophy

1. Symbolic Reasoning
2. Propositional Logic
3. Direct Proofs
4. Contradiction and Tautology in Propositional Logic
5. Logical Equivalences of Logical Expression

Unit II: First Order Logic

1. First Order Logic
2. Symbols Used in First-Order Logic
3. Logical Connectives Used in First-Order Logic
4. Universal Instantiation
5. Existential Instantiation in First-Order Logic
6. The Unification Algorithm
7. Forward and Backward Chaining
8. The Resolution Refutation Method

Unit III: Horn Clauses and Logic Programming

1. Horn Clauses in Logic Programming
2. Prolog Predicate