"In deductive logic, the methods of reasoning"