- #1

- 7

- 0

**Hello there, I have 3 sentences.**

They are:

1) If someone is not in the class then that person is either ill or lazy.

2) Ill people do not go for shopping.

3) The class teacher noticed that James is not in the class but she has seen James come out of the Candy Shop.

They are:

1) If someone is not in the class then that person is either ill or lazy.

2) Ill people do not go for shopping.

3) The class teacher noticed that James is not in the class but she has seen James come out of the Candy Shop.

**I want to convert above sentences to first order logic.**

**I have tried like this**

1) [itex]\exists[/itex]x person(x) [itex]\wedge[/itex] [itex]\neg[/itex]inClass(x) [itex]\rightarrow[/itex] ill(x) [itex]\vee[/itex] lazy(x)

2) [itex]\forall[/itex]x person(x) [itex]\wedge[/itex] ill(x) [itex]\wedge[/itex] [itex]\neg[/itex]goShopping(x)

3) [itex]\exists[/itex]x teacher(x) [itex]\wedge[/itex] hasNoticed(x) [itex]\rightarrow[/itex] [itex]\neg[/itex]inClass(James) [itex]\wedge[/itex] goShopping(James)

Please somebody tell me whether these are right or wrong?

If they are wrong can you correct them?

Thank you...

1) [itex]\exists[/itex]x person(x) [itex]\wedge[/itex] [itex]\neg[/itex]inClass(x) [itex]\rightarrow[/itex] ill(x) [itex]\vee[/itex] lazy(x)

2) [itex]\forall[/itex]x person(x) [itex]\wedge[/itex] ill(x) [itex]\wedge[/itex] [itex]\neg[/itex]goShopping(x)

3) [itex]\exists[/itex]x teacher(x) [itex]\wedge[/itex] hasNoticed(x) [itex]\rightarrow[/itex] [itex]\neg[/itex]inClass(James) [itex]\wedge[/itex] goShopping(James)

Please somebody tell me whether these are right or wrong?

If they are wrong can you correct them?

Thank you...

Last edited: