Introduces students to sentential logic, the logic of quantification and some of the basic concepts and results of metalogic (interpretations, validity and soundness).
