How do I handle existential quantifier $\exists$ while converting predicate logic to clausal form?
For example, how do I write this is clausal form:
$$\exists x \operatorname {food}(x)\to \operatorname{likes}(x)$$
Which means there exist a food which John likes.
My try is this:
food(x)^~likes(John,x)
Please tell me if it is right or not. If it is not, how to write it correctly. Also please tell me what would have happened if there was a universial quantifier in place of ∃.
Thank You!