Study of basic concepts, principles, techniques, and tools of logic, as well as their applications; analyzing arguments; deductive and inductive reasoning; fallacies; basic symbolic logics; methods of proof; applications of logic for problem solving and in everyday life.