First time here? Checkout the FAQ!
+2 votes
Symbolize the expression "Every mother loves her children" in predicate logic.
asked in Mathematical Logic by Veteran (39.7k points) 256 1308 1941
retagged by | 239 views
if we define (a,b) ,if a loves b.Then   

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

3 Answers

+6 votes



I think this is the approach for this question.

first statement is the correct answer for this question.




answered by (83 points) 1 1 4
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.
+1 vote
$M(x)\rightarrow x\ is\ mother.\\ Ch(y,x)\rightarrow y\ is\ children\ of\ x\\Lo(x,y)\rightarrow x\ loves\ y.\\ \\$ $$ \forall x\forall y\ [(M(x)\wedge C(y,x))\rightarrow Lo(x,y)]$$
answered by Active (1.8k points) 4 20
0 votes

m(x) ->x is mother

c(y)->y is children

L(x,y)->x loves y

so, ∀x(m(x)=>c(y)ΛL(x,y)) 

answered by Boss (5.9k points) 2 6 15

Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true
Top Users Oct 2017
  1. Arjun

    23398 Points

  2. Bikram

    17078 Points

  3. Habibkhan

    8280 Points

  4. srestha

    6300 Points

  5. Debashish Deka

    5438 Points

  6. jothee

    4978 Points

  7. Sachin Mittal 1

    4772 Points

  8. joshi_nitish

    4348 Points

  9. sushmita

    3970 Points

  10. Rishi yadav

    3804 Points

Recent Badges

Commentator Shivam Chauhan
Notable Question set2018
Nice Comment srestha
Notable Question set2018
Regular Shankar Jha
Popular Question Shubhanshu
Good Comment mcjoshi
Notable Question antarachoudhury
Popular Question shweta12345
Good Comment Rohan Mundhey
27,325 questions
35,176 answers
33,280 users