Logic

Catalog description

Introduction to deductive and inductive logic, with emphasis on classical syllogistic and symbolic logic. Topics include arguments, categorical propositions and classes, immediate inferences, Venn diagrams, rules of syllogism propositional functions, truth tables and predicate logic.