A systematic study of sentential logic, elementary quantification, and the logic of identity. The student will acquire specific skills in symbolic methods of analysis which are necessary for further study in logic as well as useful for addressing complex issues in philosophy and other areas.