Logic: Deductive and Inductive