We are learning about different statements in Pre-Calc right now(universal, existential, complex). I am having problems with negating statements. (Because I cant do math symbols, I will just right this out) For example, There exists (x) in S such that For All (y) in T p(x,y). I really don't understand how to negate something like this. Can someone possibly give tips on how to think logically on negating this. Any help would be much appreciated! :idea: