GATE CSE
First time here? Checkout the FAQ!
x
0 votes
147 views
Symbolize the expression "Every mother loves her children" in predicate logic.
asked in Mathematical Logic by Veteran (29.1k points)   | 147 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 Mar 2017
  1. rude

    4768 Points

  2. sh!va

    3054 Points

  3. Rahul Jain25

    2920 Points

  4. Kapil

    2728 Points

  5. Debashish Deka

    2602 Points

  6. 2018

    1574 Points

  7. Vignesh Sekar

    1422 Points

  8. Akriti sood

    1378 Points

  9. Bikram

    1342 Points

  10. Sanjay Sharma

    1126 Points

Monthly Topper: Rs. 500 gift card

21,517 questions
26,844 answers
61,157 comments
23,181 users