Notes on Logic and Automated Reasoning

These notes provide a summarized overview of existing strategies to automate the process of logical deduction in propositional and first-order logic. The material is based on the course of Intro to Logic provided at Stanford (there are also video lectures for the same course on Coursera) and a more advanced reference on Automated Reasoning.

The content is organized as follows:

1. Introduction and Definitions
2. Proving Conjectures in Propositional Logic
3. Proving Conjectures in First-Order Logic
4. Modern Automated Theorem Provers