GATE CSE
First time here? Checkout the FAQ!
x
0 votes
115 views
There is a student in the class who has sent an e-mail to everyone else in the class,Consider domain as all students in a class.

Assume M(x,y) means x has send an email to y

 

Answer given is :-  ∃x∀y[(x≠y)→M(x,y)]

 it's gonna result in True if the x=y  and the student has sent himself an email

Shall we use ^ consider instead of -> ?Please correct
asked in Mathematical Logic by Boss (9.4k points)  
edited by | 115 views
You use ^ whe you need to test the clauses independently.

When x=y, M(x,y)=false . So, the result is true and this precisely what we want, right?
But question says everyone else. So how this is true for a person sending to himself?
F -> F is true ,right?
What i am getting is that a student who has sent mail to everyone else in class means everyone else except him and thats why i am getting confused whether he has sent mail to himself or not?

If he has sent then F->F will be true else we will use ^.Please clear this point
Consider the that Rahul sends mail to everyone except himself. Now, let the sql table describing the information be:

student in class             Has been sent mail

-----------------------------------------------------------------------

Sushant                          Yes

Arjun                               Yes

Rahul                               No

 

Now, what functional dependency would you derive to describe the students that have been sent mail by Rahul?

Note that in ^ operator, you need to test the operands of ^ independently while for ->, you need to check only the premise.
I am asking that whether we should consider that a person has sent a mail to himself or not

Two possible answers :

1.   ∃x∀y[(x≠y)→M(x,y)] :- In this ,it will be true even when x=x,as implication becomes true,So there exits a student who has sent a mail to everone(including himself)

2.  ∃x∀y[(x≠y)^M(x,y)]:-This means there is a student who has sent a mail to everyone except himself.

Nowthe only difference is 1. answer allowing x=x,where as second is not.

But what actually is implied by the question i am not getting
No, if ^ is used it says only x exist in the class.
^ specifies the properties of selected things from the sql table(if there exists one), right Arjun?
@Arjun Sir, it will not say only x exist,it will say at least one x exist for all y.Please correct

Please log in or register to answer this question.



Top Users Aug 2017
  1. ABKUNDAN

    4658 Points

  2. Bikram

    4134 Points

  3. akash.dinkar12

    3144 Points

  4. rahul sharma 5

    2928 Points

  5. manu00x

    2682 Points

  6. makhdoom ghaya

    2390 Points

  7. just_bhavana

    2058 Points

  8. Tesla!

    1782 Points

  9. pawan kumarln

    1574 Points

  10. learner_geek

    1558 Points


24,892 questions
31,967 answers
74,213 comments
30,083 users