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., formal logic, truth functional logic, propositional logic, forall x, forallx, Gregory Johnson| 9781716848377 | 215PAGES