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

1 Answer

+3 votes

 

 

I think this is the approach for this question.

first statement is the correct answer for this question.

 

 

 

answered by (51 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 Jan 2017
  1. Debashish Deka

    8126 Points

  2. sudsho

    5042 Points

  3. Habibkhan

    4706 Points

  4. Vijay Thakur

    4458 Points

  5. Bikram

    4348 Points

  6. saurabh rai

    4212 Points

  7. Arjun

    4010 Points

  8. santhoshdevulapally

    3722 Points

  9. GateSet

    3292 Points

  10. Sushant Gokhale

    3286 Points

Monthly Topper: Rs. 500 gift card

19,122 questions
24,033 answers
52,725 comments
20,276 users