Chapter 6: Formal Logic