Develop a consistent vocabulary to represent the following sentences in first-order logic

Task 1

 

Develop a consistent vocabulary to represent the following sentences in first-order logic.

 

a. Everyone loves Kitty

 

b. Everyone who sees Kitty loves Kitty

 

c. Everyone who Kitty loves loves someone who is happy

 

d. Jack likes the same things Kitty likes.

 

e. There is somebody who dislikes everything that Kitty likes.

 

f. There is only one person apart from Kitty who likes everything Kitty likes, and this

 

person is Jack.

 

g. Every person who loves Kitty hates every person who Kitty loves.

 

h. Every person who loves Kitty hates every other person who Kitty loves.

 

[Note: Students are advised to take your first name in place of Kitty and Last name in place of Jack: Eg if the student name is BADER ABDULLAH NASSER AL HARRASI, then in place of Kitty you have to use Bader and in place of Jack you have to use Harrasi]

 

task1