1. The problem statement, all variables and given/known data Question 5. http://cg.scs.carleton.ca/~michiel/1805/assignment1.pdf [Broken] 2. Relevant equations 3. The attempt at a solution I arrived here: Exist X, All Y (P(x,y) and NEGATION (Exist z: NEGATION Q(x,y,z)) I have no idea how you guys do the notation. If anybody would like to show me how to use notation here at physics forums, it'd be great. Tried googling it but failed.