This document provides an overview of propositional logic and introduces first-order predicate logic. It discusses formal systems, soundness and completeness. It also covers topics like the truth table, tautology, first-order logic syntax and semantics, properties of well-formed formulae, conversion to clausal form, inference rules, and the unification algorithm.