GATE CSE
First time here? Checkout the FAQ!
x
0 votes
104 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 Loyal (3.1k points)  
edited by | 104 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

Your answer

Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
To avoid this verification in future, please log in or register.


Top Users Apr 2017
  1. akash.dinkar12

    3514 Points

  2. Divya Bharti

    2546 Points

  3. Deepthi_ts

    2040 Points

  4. rude

    1966 Points

  5. Tesla!

    1768 Points

  6. Shubham Sharma 2

    1610 Points

  7. Debashish Deka

    1588 Points

  8. Arunav Khare

    1454 Points

  9. Kapil

    1424 Points

  10. Arjun

    1420 Points

Monthly Topper: Rs. 500 gift card

22,076 questions
28,042 answers
63,235 comments
24,135 users