Explanation : The rule of inference logic which states that if a conditional statement (‘if p then q’) is accepted, and the antecedent (p) holds (i.e. P and P → Q), then the consequent (q) may be inferred. For more information on inference logic Refer:Mathematics | Rules of Inference Option Q is correct.