Conditional statements and deductive reasoning