I am studying for an exam and I have these exercises, I have solved.
Monkey(x) = "x is a monkey"
Intelligent(x) = "x is an intelligent being"
Likes(x, y) = "x eats y"
- No monkey eats a rock.
let Tigers(x) = "x is a tiger"
∀x(Tiger(x) => ∀y¬Eats(y, x)
- There exists an intelligent monkey.
∃x(Monkey(x) => Intelligent(x))
- Every monkey likes another monkey
∀x(Welshman(x) => ∀yLikes(y, x))
- There is only one smart monkey who likes all other monkeys
∃!x(Witty(x) => ∀yLikes(y, x))
I could use some feedback, please.