Deductive Logic And Inductive Logic