Introduction to informal logic, scientific argument, and formal logic. The informal logic component focuses on fallacies of reasoning and practical applications of logic. The formal logic component focuses on translation from English into propositional logic, truth tables, and proofs in propositional logic.