GATE DA 2026 Set 1 — Question 14

MCQ+1 / -0.33MediumFirst-Order Predicate LogicPredicate LogicArtificial IntelligenceTranslations

Artificial Intelligence → Predicate Logic → First-Order Predicate Logic

Last updated 5 September 2026

Question

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

Your answer

Choose one option, then check your answer.

\forall x \forall y \text{Classmate}(x, y) \Rightarrow \text{Classmate}(y, x)

\forall x \text{ Likes}(x, \text{Icecream}) \Rightarrow \neg \exists x \ \neg \text{Likes}(x, \text{Icecream})

\forall x \text{ IsKing}(x) \wedge \text{ IsPerson}(x)

\forall x \text{ IsHuman}(x) \Rightarrow \text{ IsMortal}(x)

The solution stays hidden until you check.

\forall x \text{IsKing}(x) \wedge \text{IsPerson}(x)

Review answer and solution without JavaScript

Interactive answer checking needs JavaScript. The published solution is available below.

\forall x \text{IsKing}(x) \wedge \text{IsPerson}(x)

Continue learning with Success Tracker

Use Success Tracker to ask about the reasoning, then try another GATE DA question to check your understanding.

AI-powered practice· Unlimited practice on eligible plans

PYQs with solutions: Attempt available previous-year questions, then compare your reasoning with the worked solution. Coverage varies by stream.
Practice that adapts: Choose a topic, work on weaker areas and bookmark questions to revisit. Your attempts feed your progress tracking.
AI doubt support: Ask follow-up questions about a step or concept while practising, instead of stopping at the final answer.

Unlimited practice is available on eligible plans. Free practice and AI usage have limits; check the current plan allowances before choosing.

This page stays readable without an account. AI responses can be wrong; check them against the solution and source material.