Introduces students to some of the modern formal systems used to distinguish between good and bad forms of reasoning in either or both deductive or inductive realms. Topics may include translation ...

Description: 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, ...