deductive reasoning in algebra