Suggestions

Hi all,

I appreciate what you have done as collaborators.

It was really good to have real world examples like star wars characters. But for people like me who have not watched star wars, that does not make much sense. It was better to have more general examples.

It was mentioned that some parts should be added to make things more clear. I am not much familiar with predicate calculus. Things written in the page are easy to understand, but seem like preliminary definitions. I am not sure how much more should be added.

Cheers,

Bahare

I had heard that there were people who had never seen Star Wars, but I didn't want to believe it!  ;) Thank you for your feedback; I'll modify the examples to be more universally relatable (though I will miss hasLightsaber(x)).

Yes you did a great job in presenting the central ideas, despite lacking a principal author. My only tiny bit of request is to elaborate on the variable section a little. Just adding one example as with the others you have provided should suffice. Specifically just point out here what could be variables of an exemplary system.

On a larger perspective I feel that we might need to have a principal author responsible for this page because of its importance. It lays foundations for many pages and topics discussed in class. So it will be good to have a nice write up for this. Thanks again for the effort