First time here? Checkout the FAQ!
0 votes
Symbolize the expression "Every mother loves her children" in predicate logic.
asked in Mathematical Logic by Veteran (29.2k points)   | 156 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 Apr 2017
  1. akash.dinkar12

    3752 Points

  2. Divya Bharti

    2618 Points

  3. Deepthi_ts

    2162 Points

  4. rude

    1966 Points

  5. Tesla!

    1768 Points

  6. Sanjay Sharma

    1646 Points

  7. Debashish Deka

    1614 Points

  8. Shubham Sharma 2

    1610 Points

  9. Prashant.

    1554 Points

  10. Kapil

    1528 Points

Monthly Topper: Rs. 500 gift card

22,100 questions
28,082 answers
24,203 users