An introduction to formal, symbolic techniques of reasoning. Sentential logic and quantification theory (or predicate logic), including identity will be covered. The emphasis is on appreciation of and practice in techniques, for example, the formal analysis of English statements and arguments, and for construction of clear and rigorous proofs.