For all x King(^ Greedy(=> Evil(x)
A. King(John) ^ Greedy(John) => Evil(John)
B. King(y) ^ Greedy(y) => Evil(y)
C. King(Richard) ^ Greedy(Richard) => Evil(Richard)
D. None of the mentioned
Answer:A
For all x King(^ Greedy(=> Evil(x)
A. King(John) ^ Greedy(John) => Evil(John) B. King(y) ^ Greedy(y) => Evil(y) C. King(Richard) ^ Greedy(Richard) => Evil(Richard) D. None of the mentioned
Explanation: Refer the definition if universal instantiation. 5. Which form is called as conjunction of disjunction of literals?