Let π(π₯) be a predicate. Which of the following statements is/are NOT validβ¦
GATE Β· 2026 Β· DA Β· Data Science & AI
Let π(π₯) be a predicate. Which of the following statements is/are NOT valid in first-order logic?
- A.
βπ₯ π(π₯) β βπ₯ π(π₯)
- B.
βπ₯ π(π₯) β βπ₯ π(π₯)
- C.
βπ₯ π(π₯) β βπ₯ π(π₯)
- D.
βπ₯ π(π₯) β βπ₯ Β¬π(π₯)
Attempted by 6 students.
Sign up free to check your answer
Sign up freeLoading lessonβ¦