3
ryuji
7y

The worst type of exam question in University for me:

Using first-order logic (predicate logic) express the following statements:
(i) Every student except Tom is smiling.
(ii) Everyone likes everyone who doesn't like himself.

Answers:
(i) ∀x(student(x)→(¬Tom(x) <-> smiling(x)))
(ii) ∀x∀y(¬likes(y,y)→likes(x,y))

Comments
Add Comment