This course studies the basic principles and techniques of formal logic. The analysis of the logical structure of sentences and arguments is explored, together with the fundamental principles of elementary sentential logic and quantification.