1. Not finding help here? Sign up for a free 30min 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!

Logic (nested quantifiers)

  1. Sep 7, 2013 #1
    Can someone tell me if my statement is equivalent to the one in the paint document?

    My statement:
    x and y will define all people
    P(x): "x is a parent"
    F(x): "x is female"
    M(x,y): " x is the mother of y"

    My answer is boxed in the paint doc (SECOND POST)
     

    Attached Files:

    Last edited: Sep 7, 2013
  2. jcsd
  3. Sep 7, 2013 #2
    My answer
    Sorry, for some reason when I was trying to edit me first post I was unable to add another pic
     

    Attached Files:

  4. Sep 8, 2013 #3

    verty

    User Avatar
    Homework Helper

    The ##\forall x## has no effect because the next ##\exists x## covers the whole block, so we can drop the ##\forall x##. Try changing ##\forall x## to ##\forall z## to see the effect that it is having on the statement. What name the variable has changes nothing.

    So your statement means there is at least one person who is not female or not a parent or is someone's mother.
     
  5. Sep 8, 2013 #4
    Ok thank you. could you take a look at two more?
     

    Attached Files:

Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted