Tuesday, February 28, 2017

I made an important clarification to the model that will be used for problem 5 on the test, specifically regarding the meaning of the successor function and the relation 'subsequent to."

2 comments:

  1. In the example of model. Wouldn't it be false because 3 is on the right of 1?

    ReplyDelete
  2. Thanks Javeeria, you are right. I can't tell my right from my left. I have fixed this as well.

    ReplyDelete