@mickalos,

Can I run all four by you:

1. Universal quantifier (and upside down A), then an x, then an existential quantification (a backwards E) then an Mxy.

This one we discussed.

2. An existential quantification (a backwards E), then a y, then a universal quantifier (an upside down A) with an x beside it, and then a Mxy.

I interpret this to mean that some integer is greater than every integer, which is going to be false whether we are dealing with only positive integers, or all integers...

3. Universal quantifier (an upside down A), with a y beside it, then an existential quantification (a backwards E) with an x beside it, and then a Mxy.

I interpret this to mean that every integer is greater than some integer, which is false if we're dealing only with positive integers, but true if we're dealing with all integers.

4. Existential quantification (backwards E) with an x, then a universal quantifier (uspide down A) with a y, then a Mxy.

I interpret this to mean that some integers are less than every integer which is true if we're dealing only with positive integers, but false if we're dealing with all integers.

Am I translating correctly, and then determining properly whether each is true or false? Appreciate any help.