Results 1 to 3 of 3

Math Help - express using quatifiers

  1. #1
    Member
    Joined
    Sep 2008
    Posts
    239

    express using quatifiers

    I'm not entirely sure if this is posted in the right place so i'm sorry if its not.



    Let the predicates M, T and C be defined by
    M(x, y) means x has sent y an email message
    T (x, y) means x has telephoned y
    C(x) means x is a student


    Express each of the following using quantifiers

    a) No student has telephoned John
    b) Some students have been sent an email by Graham.
    c) There are two students who have telephoned one another
    d) There is at least one student who has either telephoned or emailed every other student
    student.
    e) Every student has either been sent an email message or had a telephone call from some other student.


    Ok so I have tried to do this but I have no idea if I'm right.

    (Č means 'not', A means 'For All' E means 'There exists')
    for part a I get something like this

    T(ČEC(x),John)

    but my friend got

    ČEx, C(x) ^ (y = John => T(x,y))

    not sure im doing this right?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Grandad's Avatar
    Joined
    Dec 2008
    From
    South Coast of England
    Posts
    2,570
    Thanks
    1
    Hello djmccabie
    Quote Originally Posted by djmccabie View Post
    I'm not entirely sure if this is posted in the right place so i'm sorry if its not.



    Let the predicates M, T and C be defined by
    M(x, y) means x has sent y an email message
    T (x, y) means x has telephoned y
    C(x) means x is a student


    Express each of the following using quantifiers

    a) No student has telephoned John
    b) Some students have been sent an email by Graham.
    c) There are two students who have telephoned one another
    d) There is at least one student who has either telephoned or emailed every other student
    student.
    e) Every student has either been sent an email message or had a telephone call from some other student.


    Ok so I have tried to do this but I have no idea if I'm right.

    (Č means 'not', A means 'For All' E means 'There exists')
    for part a I get something like this

    T(ČEC(x),John)

    but my friend got

    ČEx, C(x) ^ (y = John => T(x,y))

    not sure im doing this right?
    Your friend is nearer the answer than you. I should write (a) as
    \neg\exists\, x\, [C(x) \land T(x,\text{John})]
    (b) Re-write this as: There exists an x such that x is a student, and Graham has sent x an email. So
    \exists\,x\,[C(x) \land M(\text{Graham},x)]
    (c) Re-write as: There exists an x, there exists a y such that x is a student and y is a student and x has telephoned y and y has telephoned x. So
    \exists\,x\,\exists\,y\,[C(x) \land C(y) \land ...]. Can you complete?
    (d) Re-write as: There exists an x such that for all y, x is a student and if y is a student then ( x has telephoned y or x has emailed y). Can you complete?

    (e) For all x, there exists a y such that y is a student and if x is a student then ( y has emailed x or y has telephoned x). Can you complete?

    Grandad
    Last edited by Grandad; November 11th 2009 at 06:03 PM. Reason: More complete solution
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Banned
    Joined
    Oct 2009
    Posts
    4,261
    Thanks
    2
    Quote Originally Posted by djmccabie View Post
    I'm not entirely sure if this is posted in the right place so i'm sorry if its not.



    Let the predicates M, T and C be defined by
    M(x, y) means x has sent y an email message
    T (x, y) means x has telephoned y
    C(x) means x is a student


    Express each of the following using quantifiers

    a) No student has telephoned John
    b) Some students have been sent an email by Graham.
    c) There are two students who have telephoned one another
    d) There is at least one student who has either telephoned or emailed every other student
    student.
    e) Every student has either been sent an email message or had a telephone call from some other student.


    Ok so I have tried to do this but I have no idea if I'm right.

    (Č means 'not', A means 'For All' E means 'There exists')
    for part a I get something like this

    T(ČEC(x),John)

    but my friend got

    ČEx, C(x) ^ (y = John => T(x,y))

    not sure im doing this right?

    Your friend is right: you cannot quantify inside the predicate T

    Tonio
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Express 2x^2-28x+53
    Posted in the Algebra Forum
    Replies: 7
    Last Post: May 16th 2011, 05:27 AM
  2. Different way to express this set
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: February 21st 2011, 11:46 AM
  3. express in m and n
    Posted in the Trigonometry Forum
    Replies: 5
    Last Post: July 22nd 2010, 09:15 PM
  4. express in z=a+bi
    Posted in the Calculus Forum
    Replies: 1
    Last Post: April 14th 2009, 11:52 PM
  5. way to express ans
    Posted in the Trigonometry Forum
    Replies: 8
    Last Post: April 17th 2006, 07:00 AM

Search Tags


/mathhelpforum @mathhelpforum