1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Nested quantifiers

  1. Oct 2, 2011 #1
    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.
    Last edited by a moderator: May 5, 2017
  2. jcsd
  3. Oct 2, 2011 #2
    very good reference for latex notation is at


    for the list of mathematical symbols go to page 72 in pdf. also on this forum , there is latex help thread which can help you.

    in the problem, you are doing good, you have carried [itex]\neg[/itex] till that point, why
    don't you carry it forward , inside the bracket
  4. Oct 2, 2011 #3
    I'm not sure what happens when you negate something inside a bracket. It confused me.
  5. Oct 2, 2011 #4
    [tex]\neg(\exists z(\neg Q(x,y,z)))[/tex]

    [tex]\forall z \;\neg (\neg Q(x,y,z))[/tex]

    [tex]\forall z \;Q(x,y,z)[/tex]
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Discussions: Nested quantifiers
  1. Nested Quantifier (Replies: 10)

  2. Quantified Statements (Replies: 4)