this doenst primarily involve games but it does deal with math. Im working on quantifing some logic statements and for some reason can not figure this simple statement out...\ (let the domain of discourse be all states in mexico) also.. follow these propositional functions... B(x,y): x and y share a land border C(x): x is a costal state E(x,y): x and y are the same state L(x,y): x is larger than y in land area and here is the statement: There are more than 3 distict states in mexico. I was figuring on doing something like.. ((exhists w)(exhists y)(exhists x)(exhists z))((!E(w,y))^(!E(x,z))^(!E(w,x))^(!E(y,z))) but this seems pretty involved... what you think?

Looks correct to me, and no, it isn''t too involved. The only thing you could do to clear it up is write the body of the statement as to reflect the transitive relationship between the series of E(x, y) statements. Basically... (rE stands for reverse-E)

rEwxyz ~(E(w, x) OR E(x, y) OR E(y, z) OR E(z, w))

wouldnt you want that to be a AND relationship instead of OR?

No, because I used De Morgan''s Law. I prefer using as few ~''s as I can. Just personal style, or lack thereof.

thanks for the help!