How to convert a sentence into first order logic?

71 Views Asked by At

There is a student who does not like punctual students.

Where,

S(x) = “x is student”

P(x) = “x is always punctual”

L(x, y) = “x likes y”

can please help me? Thanks Alot~~

1

There are 1 best solutions below

0
On

$$\exists x S(x), \forall y (S(y)\wedge P(y)) \longrightarrow \neg L(x,y)$$

This comes from:

"There is a student": $\exists x S(x)$

"Punctual studients": $\forall y(S(y) \wedge P(y))$ (Any $y$ that is both student and punctual)

"Does not like": $\neg L(x,y)$