Examveda

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

Answer: Option A


This Question Belongs to Computer Science >> Artificial Intelligence

Join The Discussion

Related Questions on Artificial Intelligence