Logic Deductive and Inductive