I'm pretty sure I can solve the other parts of this problem set if you all can just word out this expression for me:

(x0 > y0 → z = x0) o (x0 <= y0 → z = y0)

The quantifier in the middle throws off my wording

Printable View

- Sep 8th 2009, 08:09 AMangrynapkinPredicate Logic -- Can you word this expression in English?
I'm pretty sure I can solve the other parts of this problem set if you all can just word out this expression for me:

(x0 > y0 → z = x0) o (x0 <= y0 → z = y0)

The quantifier in the middle throws off my wording - Sep 8th 2009, 08:19 AMPlato
- Sep 8th 2009, 08:23 AMangrynapkin
It's the Universal quantifier. Some schools use the upside down A, we use the ^ symbol as well.

- Sep 8th 2009, 08:29 AMPlato
- Sep 8th 2009, 08:37 AMangrynapkin
Right. Well that's the symbol at least. I just need to figure out what the function actually does.

- Sep 8th 2009, 08:46 AMPlato