Deductive reasoning.Laws of logic