Credit Hours: 3.00. A first course in formal deductive logic; mechanical and other procedures for distinguishing good arguments from bad. Truth-tables and proofs for sentential (Boolean) connectives, followed by quantificational logic with relations. Although metatheoretic topics are treated, the emphasis is on methods. Typically offered Summer Fall Spring.