Question

Given: All seniors are mature students. Which statement expresses a conclusion that logically follows from the given statement?

• A. All mature students are seniors
• B. If Bill is a mature student, then he is a senior
• C. If Bill is not a mature student, then he is not a senior
• D. If Bill is not a senior, then he is not a mature student
• E. All sophomores are not mature students.

Answer 1

Answer: (C)

If Bill is not a mature student, then he is not a senior

Given that all seniors are mature students ($p⟹q$)
$p⟹q$ is equivalent to $\sim q⟹\sim p$
So the correct answer is , If Bill is not a senior , then he is not a mature senior
So the correct option is $C$