Logic Inductive and Deductive