Results 1 to 6 of 6

Math Help - Predicate and Quantifier

  1. #1
    Member
    Joined
    Jun 2007
    Posts
    77

    Predicate and Quantifier

    I have two of these question which I need help to solve:

    1. Transalate this statements into logical xpression using predicates, quantifiers, and logical connectives

    One of your tools is not in the correct place, but it is in an excellent condition.

    I also have other question for nested quantifier:

    Let Q(x,y) be the statement, student x has been a contestant on quiz show y. Express these sentences in terms of Q(x,y), quantifiers, and logical connectives, where the domain for x consists of all students at your school and for y consists of all quiz shows on television.
    a. There is a student at your school whi has been a contestant on Jeopardy and on Wheel of Fortune
    b. At least two students from your school hasve been contestants on Jeopardy.
    Last edited by EquinoX; June 17th 2007 at 11:03 AM.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,969
    Thanks
    1788
    Awards
    1
    Quote Originally Posted by EquinoX View Post
    IOne of your tools is not in the correct place, but it is in an excellent condition.
    T(x) is “x is your tool”.
    C(x) is ‘x is in correct place”.
    E(x) is “x is in excellent condition”.
    \left( {\exists x} \right)\left[ {T(x) \wedge  \sim C(x) \wedge E(x)} \right]
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,969
    Thanks
    1788
    Awards
    1
    Quote Originally Posted by EquinoX View Post
    Let Q(x,y) be the statement, student x has been a contestant on quiz show y. Express these sentences in terms of Q(x,y), quantifiers, and logical connectives, where the domain for x consists of all students at your school and for y consists of all quiz shows on television.
    a. There is a student at your school whi has been a contestant on Jeopardy and on Wheel of Fortune
    b. At least two students from your school hasve been contestants on Jeopardy.
    S(x) is “x is a student in your school; E(x,y) ‘x equals y’; J “is Jeopardy”; W “is wheel of Fortune.”
    a) \left( {\exists x} \right)\left[ {S(x) \wedge Q(x,J) \wedge Q(x,W)} \right]

    b) \left( {\exists x} \right)\left( {\exists y} \right)\left[ {S(x) \wedge S(y) \wedge \sim E(x,y) \wedge Q(x,J) \wedge Q(y,J)} \right]
    Last edited by Plato; June 17th 2007 at 03:21 PM.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Member
    Joined
    Jun 2007
    Posts
    77
    Quote Originally Posted by Plato View Post
    T(x) is “x is your tool”.
    C(x) is ‘x is in correct place”.
    E(x) is “x is in excellent condition”.
    \left( {\exists x} \right)\left[ {T(x) \wedge  \sim C(x) \wedge E(x)} \right]
    I am not sure with this answer, because the question mentions "one of your", this means that it's exactly one right? if I use there exist at least one then it means that there may be more than one
    Follow Math Help Forum on Facebook and Google+

  5. #5
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,969
    Thanks
    1788
    Awards
    1
    Quote Originally Posted by EquinoX View Post
    "one of your", this means that it's exactly one right? if I use there exist at least one then it means that there may be more than one
    Why would you say that? One and only one means exactly one.

    “Predicate and Quantifier”, your title explains what this exercise is about.
    If we say there exist an object that object is one of your tools not in the correct place but in excellence condition, then we are saying at least one object of yours fits that description
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Member
    Joined
    Jun 2007
    Posts
    77
    Quote Originally Posted by Plato View Post
    S(x) is “x is a student in your school; E(x,y) ‘x equals y’; J “is Jeopardy”; W “is wheel of Fortune.”
    a) \left( {\exists x} \right)\left[ {S(x) \wedge Q(x,J) \wedge Q(x,W)} \right]

    b) \left( {\exists x} \right)\left( {\exists y} \right)\left[ {S(x) \wedge S(y) \wedge \sim E(x,y) \wedge Q(x,J) \wedge Q(y,J)} \right]
    Do I have to assume that:

    S(x) is “x is a student in your school ??

    Can I just use x and modify the predicates??
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. for all quantifier
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: July 28th 2011, 07:23 PM
  2. Quantifier question
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: December 7th 2010, 11:45 AM
  3. Quantifier Proofs
    Posted in the Discrete Math Forum
    Replies: 4
    Last Post: August 18th 2010, 05:36 AM
  4. Quantifier Help
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: April 12th 2010, 08:39 AM
  5. quantifier
    Posted in the Discrete Math Forum
    Replies: 7
    Last Post: June 28th 2007, 04:14 PM

Search Tags


/mathhelpforum @mathhelpforum