deductive_logic