I almost forgot to write my blog last week, although I have lots of questions because of our assignment.
It was a complicated assignment that we spend half of our day dealing with those confusing problems.
Fortunately we solved all the problems at the end.
I still want to know if the symbol "∃". Is that mean "there exists at least" or there is no "at least"? It is a little confusing to me.
I still have a question left, it was from last week's tutorial handout.
It's the g of question 1 from the handout.
"Some courses have the same prerequisites."
If I rewrite this symbolically as
"∃ y1,y2 ∈ C, ∃ x ∈ C, P(x,y1) ∧ P(x,y2)"
Is that also OK?
If I meet a question like this in the future test, I am afraid theta I will rewrite the question as above.