Results 1 to 2 of 2

Math Help - Quantified Statements

  1. #1
    Member
    Joined
    May 2011
    Posts
    178
    Thanks
    6

    Quantified Statements

    LetS(x)be the predicate x is a student,F(x)the predicate x is a faculty member, and A(x, y)the predicate x has asked y a question, where the domain consists of
    all people associated with your school. Use quantifiers to express each of these statements.

    d) Some student has not asked any faculty member a question.


    Why isn't the answer to this question, " \exists x \forall y ((S(x) \wedge F(x)) \implies \neg A(x,y))?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,530
    Thanks
    773

    Re: Quantified Statements

    Quote Originally Posted by Bashyboy View Post
    d) Some student has not asked any faculty member a question.


    Why isn't the answer to this question, " \exists x \forall y ((S(x) \wedge F(x)) \implies \neg A(x,y))?
    The English claim asserts, in particular, that there is a student. The formula, on the other hand, asserts that there is a non-student (or something else is true). Indeed, recall that P\Rightarrow Q is equivalent to \neg P\lor Q. Since S(x) in the premise of the implication, it is, so to speak, under negation.

    More formally, the formula is true in an interpretation where the domain contains at least one non-student. If x is instantiated with this person, then the premise of the implication is false regardless of y, so the implication is true.

    Correct formulas are \exists x \forall y\,(S(x) \wedge (F(y))\Rightarrow \neg A(x,y))) and \exists x\,(S(x) \wedge \forall y\,(F(y)\Rightarrow \neg A(x,y))).
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Translating Quantified statements.
    Posted in the Discrete Math Forum
    Replies: 4
    Last Post: June 21st 2013, 08:22 AM
  2. If C++ statements
    Posted in the Math Topics Forum
    Replies: 2
    Last Post: March 3rd 2013, 10:16 AM
  3. Universal quantified statements
    Posted in the Discrete Math Forum
    Replies: 4
    Last Post: October 5th 2010, 08:06 AM
  4. rules of inference for quantified statements
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: September 5th 2010, 01:16 PM
  5. Quantified Propositions to English
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: December 1st 2009, 02:19 AM

Search Tags


/mathhelpforum @mathhelpforum