Deductive and inductive reasoning