GATE CS 2024 Set 2 | Question 12

MCQ · 1 mark · −0.33

Let \(p\) and \(q\) be the following propositions:

\(p\): Fail grade can be given.

\(q\): Student scores more than 50% marks.

Consider the statement: “Fail grade cannot be given when student scores more than 50% marks.”

Which one of the following is the CORRECT representation of the above statement in propositional logic?

  1. Option A: \(q \rightarrow \neg p\) (correct)
  2. Option B: \(q \rightarrow p\)
  3. Option C: \(p \rightarrow q\)
  4. Option D: \(\neg p \rightarrow q\)

Answer

(A)

Explanation

“\(X\) when \(Y\)” means “whenever \(Y\) holds, \(X\) holds”, which is the implication \(Y \rightarrow X\).

  • The condition \(Y\) is “student scores more than 50% marks”, that is \(q\).
  • The consequence \(X\) is “fail grade cannot be given”, that is \(\neg p\).

So the statement is \(q \rightarrow \neg p\). Option B drops the negation and says a fail grade can be given. Option D, \(\neg p \rightarrow q\), is the converse of \(q \rightarrow \neg p\) and is not equivalent to it, and option C has neither the right direction nor the negation.

Answer: A