GATE CSE
First time here? Checkout the FAQ!
x
0 votes
162 views
Symbolize the expression "Every mother loves her children" in predicate logic.
asked in Mathematical Logic by Veteran (29.5k points)   | 162 views
if we define (a,b) ,if a loves b.Then   

for all  M st (M,C) ?? Is it correct?

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 May 2017
  1. akash.dinkar12

    3140 Points

  2. pawan kumarln

    1606 Points

  3. sh!va

    1580 Points

  4. Arjun

    1316 Points

  5. Devshree Dubey

    1230 Points

  6. Angkit

    1020 Points

  7. Debashish Deka

    1012 Points

  8. Bikram

    970 Points

  9. LeenSharma

    796 Points

  10. srestha

    658 Points

Monthly Topper: Rs. 500 gift card
Top Users 2017 May 22 - 28
  1. pawan kumarln

    232 Points

  2. jjayantamahata

    106 Points

  3. joshi_nitish

    106 Points

  4. Ahwan

    96 Points

  5. Aditya GN

    63 Points


22,717 questions
29,045 answers
65,029 comments
27,454 users