Which among the following could the Existential instantiation of ∃x Crown(x) ^ OnHead(x, Johnny)?
(a) Crown(John) ^ OnHead(John, Jonny)
(b) Crown(y) ^ OnHead(y, y, x)
(c) Crown(x) ^ OnHead(x, Jonny)
(d) None of the mentioned
The question was posed to me during an online interview.
This question is from Inference in First-Order Logic in section Knowledge and Reasoning of Artificial Intelligence
Select the correct answer from above options
Interview Questions and Answers, Database Interview Questions and Answers for Freshers and Experience
