GATE DA 2026 Q14: Incorrect first-order logic translation

Which of the following statements is NOT true? (The names of the predicates are intuitive.)

Try it: multiple choice: exactly one correct option

Wrong answer costs 1/3 mark in GATE.

Show answer and explanation

Answer: C (official GATE 2026 final answer key)

Concept used: "Every A is a B" uses implication under $\forall$ , not conjunction.

First step: $\forall x\, (IsKing(x) \wedge IsPerson(x))$ claims everything is a king and a person.

Full step-by-step solution

Detailed working, common mistakes and linked mock tests will be available with a free GATEiit account. Log-in is coming soon.

Share this question

Source: official GATE 2026 DA question paper and final answer key, organised by IIT Guwahati. Question paper · Answer key