deductive logic 2590307