A concise introduction to logic chapter 1