Logic (nested quantifiers)

  • Thread starter Miike012
  • Start date
  • #1
1,011
0
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)
 

Attachments

  • SOLMD.jpg
    SOLMD.jpg
    16.7 KB · Views: 351
Last edited:

Answers and Replies

  • #2
1,011
0
My answer
Sorry, for some reason when I was trying to edit me first post I was unable to add another pic
 

Attachments

  • SOLMD.jpg
    SOLMD.jpg
    19.1 KB · Views: 357
  • #3
verty
Homework Helper
2,182
198
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.
 
  • #4
1,011
0
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.

Ok thank you. could you take a look at two more?
 

Attachments

  • aaaa.jpg
    aaaa.jpg
    10.4 KB · Views: 355

Related Threads on Logic (nested quantifiers)

  • Last Post
Replies
9
Views
1K
Replies
5
Views
2K
Replies
2
Views
686
  • Last Post
Replies
24
Views
2K
  • Last Post
Replies
7
Views
849
  • Last Post
Replies
16
Views
1K
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
1
Views
843
  • Last Post
2
Replies
37
Views
3K
  • Last Post
Replies
6
Views
1K
Top