GATE CSE
First time here? Checkout the FAQ!
x
0 votes
139 views
Symbolize the expression "Every mother loves her children" in predicate logic.
asked in Mathematical Logic by Veteran (29k points)   | 139 views

1 Answer

+4 votes

 

 

I think this is the approach for this question.

first statement is the correct answer for this question.

 

 

 

answered by (63 points)  
edited by
The first statement must be true. Consider an sql table where there are some mothers that dont love their children and some mothers that love their children.

So, 2nd statement will test if 'x' is mother and will also test if 'x' loves her children seperately.Only then it will output such mothers that love their children.

But, 1st statement will just check if 'x' is mother and if yes, will output 'x'. This is what we want from the question.

So, $\nu$x [ Mother(x) -> Loves(x) ] should be right.
Top Users Feb 2017
  1. Arjun

    5224 Points

  2. Bikram

    4230 Points

  3. Habibkhan

    3748 Points

  4. Aboveallplayer

    2986 Points

  5. Debashish Deka

    2356 Points

  6. sriv_shubham

    2298 Points

  7. Smriti012

    2142 Points

  8. Arnabi

    2008 Points

  9. sh!va

    1654 Points

  10. mcjoshi

    1628 Points

Monthly Topper: Rs. 500 gift card

20,832 questions
25,989 answers
59,623 comments
22,046 users