Consider the statements:

p: Stephen is intelligent

q: Stephen is good at Mathematics

If p⇒q, which of the following is a valid conclusion?

A.

If Stephen is good at Mathematics, then he is intelligent

B.

If Stephen is not good at Mathematics, then he is not intelligent

C.

If Stephen is not intelligent, then he is not good at Mathematics

D.

If Stephen is not good at Mathematics, then he is intelligent

Correct answer is B

If p implies (→) q

then not (~) q → not (~) p

Option B