CHAPTER 2 Introduction to Classical Logic