Awesome q2a theme
0 votes

Which of these does not correctly represent “Every person loves at least one corgi”?

  1. $\forall x[person(x)\rightarrow \exists y[corgi(y)\Lambda Loves(x,y)]]$
  2. $\forall x\exists y[person(x)\rightarrow corgi(y)\Lambda Loves(x,y)]$
  3. $\exists y\forall x[person(x)\rightarrow corgi(y)\Lambda Loves(x,y)]$
in Mathematical Logic by (289 points)
edited by | 37 views
It’s a self doubt. I dont have the answer. But if you feel B is wrong, plz provide a reason.
C doesn't seem right. It will be interpreted as, "There exists a corgi, such that every person loves that corgi".
But our implication in question goes on way only. Person loves at least corgi. There maybe corgis that no one loves. So, C seems wrong.

B seems correct, it can be interpreted as "For each person, there exists a corgi that is loved by that person."

A is correct.

What do you say?

1 Answer

+1 vote
Best answer
A.For all $x$ such that if $x$ is a person then there exist at least one $y$ such that $y$ is a corgi and $x$ loves $y$. It means that every person loves atleast $1$ corgi. So it is correct.

B. $\sim p(x) \vee (c(y) \wedge l(x,y)) $

It means that for all x there exist a y such that either x is not a person OR $y$ is a corgi and $x$ loves $y$. So it is also correct.

C. There exist a $y$ for all $x$  such that if $x$ is any person then $y$ is  corgi and $x$ loves $y$. It is also not correct. It means that in the universe there is only $1$ corgi and every person loves him/her/it.
by (3.7k points)
selected by
This is from Stanford slides and A represents it correctly. I have doubts about B and C.
How can A be correct.

Question is asking about "at least one" so more than 1 should also have been expressed in the option.

It is representing "exactly one y "
Check option A now. Bracket was misplaced.
updated my answer please check.
I don’t think you opened → right in option B. ^ has greater priority over → so (corgi(y) Λ Loves(x,y)) should be treated as a unit.

It should be ~person (x) ∨ (corgi(y) Λ Loves(x,y))

I’m finding difficulty in distinguishing B from A :(
yes you are correct.

both A and B ar correct.

The difference between A and B can be seen from coding perspective.

in Option A y will only be created if x turns out to be a person. so this saves some space wasted due to creation of y unnecessarily.

in Option B y is created before we check condition. if condition is not true then y is not used and if condition is true i.e. x turns out to be a person then we check the relation between them.
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
Welcome to GATE CSE Doubts, where you can ask questions and receive answers from other members of the community.
Top Users Dec 2019
  1. Pratyush Priyam Kuan

    158 Points

  2. Vimal Patel

    118 Points

  3. avistein

    65 Points

  4. srestha

    54 Points

  5. Mk Utkarsh

    49 Points

  6. arya_stark

    46 Points

  7. goxul

    39 Points

  8. Sathuri Bharath

    34 Points

  9. vishal burnwal

    31 Points

  10. Shaik Masthan

    26 Points

Monthly Top User and those within 60% of his/her points will get a share of monthly revenue of GO subject to a minimum payout of Rs. 500. Current monthly budget for Top Users is Rs. 75.
2,313 questions
1,294 answers
89,719 users