Inductive and deductive logic types, logical concepts and principles, propositional logic structures, predicate logic, quantifiers, validity tables, rules of inference