This introduction to formal logic covers truth functional (i.e., propositional) logic and introduces first-order logic. The content of truth functional logic is explained, and then truth tables and natural deduction are used for investigating validity. The content of first-order logic and the quantifier rules are given in the final section of the book.