Results 1 to 6 of 6

Math Help - Help me justify if these statements are logically equivalent

  1. #1
    Member
    Joined
    Sep 2009
    Posts
    129

    Help me justify if these statements are logically equivalent

    1) Determine if \forall x(P(x) \rightarrow Q(x)) and \forall  xP(x) \rightarrow \forall xQ(x) are logically equivalent. Justify your answers.

    2) Determine if \forall x(P(x) \leftrightarrow Q(x)) and \forall xP(x) \leftrightarrow \forall xQ(x) are logically equivalent. Justify your answers.

    3) Show that \exists x(P(x) \vee Q(x)) and \exists xP(x) \vee \exists xQ(x) are logically equivalent.

    I'm getting confused with these. Please explain me in a simpliest way. Thank you very much for your help.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,957
    Thanks
    1781
    Awards
    1
    Quote Originally Posted by zpwnchen View Post
    1) Determine if \forall x(P(x) \rightarrow Q(x)) and \forall  xP(x) \rightarrow \forall xQ(x) are logically equivalent. Justify your answers.

    2) Determine if \forall x(P(x) \leftrightarrow Q(x)) and \forall xP(x) \leftrightarrow \forall xQ(x) are logically equivalent. Justify your answers.

    3) Show that \exists x(P(x) \vee Q(x)) and \exists xP(x) \vee \exists xQ(x) are logically equivalent.
    Here are some suggestions.

    1) \forall x(P(x) \rightarrow Q(x)) means "every P is a Q".
    \forall  xP(x) \rightarrow \forall xQ(x) means "if everything is a P then everything is a Q"
    Do those mean the same thing?

    3) \exists x(P(x) \vee Q(x)) means "something is a P or it is a Q"
    \exists xP(x) \vee \exists xQ(x) means something is a P or something is a Q"
    Do those mean the same thing?
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Member
    Joined
    Sep 2009
    Posts
    129
    1) \forall x(P(x) \rightarrow Q(x)) means "every P is a Q".
    \forall  xP(x) \rightarrow \forall xQ(x) means "if everything is a P then everything is a Q"
    Do those mean the same thing?
    I feel that it's not the same thing.

    3) \exists x(P(x) \vee Q(x)) means "something is a P or it is a Q"
    \exists xP(x) \vee \exists xQ(x) means something is a P or something is a Q"
    Do those mean the same thing?

    I do not get this one


    Is it possible to create truth table for these?
    How about the second one? Are they logically equivalent?
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,957
    Thanks
    1781
    Awards
    1
    What if I said "Something is red or blue."
    Then said "Something is red or something is blue"
    Are those saying exactly the same thing?
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Member
    Joined
    Sep 2009
    Posts
    129
    Quote Originally Posted by Plato View Post
    What if I said "Something is red or blue."
    Then said "Something is red or something is blue"
    Are those saying exactly the same thing?
    I suppose they have the same meaning. Right?

    And for the second problem, they are not logically equivalent,right?

    Can we create truth table for that?
    Follow Math Help Forum on Facebook and Google+

  6. #6
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,957
    Thanks
    1781
    Awards
    1
    Quote Originally Posted by zpwnchen View Post
    And for the second problem, they are not logically equivalent,right? CORRECT
    Can we create truth table for that?
    The proofs depend on the rules for instantiation and generalization.
    I have never seen truth-tables used in this connection.
    Here are the standard statements of these three.
    \left( {\forall x} \right)\left[ {P(x) \Rightarrow Q(x)} \right] \Rightarrow \left( {\left( {\forall x} \right)\left[ {P(x)} \right] \Rightarrow \left( {\forall x} \right)\left[ {Q(x)} \right]} \right)
    \left( {\forall x} \right)\left[ {P(x) \Leftrightarrow Q(x)} \right] \Rightarrow \left( {\left( {\forall x} \right)\left[ {P(x)} \right] \Leftrightarrow \left( {\forall x} \right)\left[ {Q(x)} \right]} \right)
    \left( {\exists x} \right)\left[ {P(x) \vee Q(x)} \right] \Leftrightarrow \left( {\left( {\exists x} \right)\left[ {P(x)} \right] \vee \left( {\exists x} \right)\left[ {Q(x)} \right]} \right)
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. how are these two statments logically equivalent?
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: October 3rd 2011, 10:49 PM
  2. Logically equivalent
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: July 20th 2010, 10:20 PM
  3. logically equivalent
    Posted in the Discrete Math Forum
    Replies: 4
    Last Post: March 24th 2010, 02:30 AM
  4. logically equivalent
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: March 18th 2010, 06:55 AM
  5. Logically Equivalent Statement-HELP!
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: September 17th 2008, 11:32 AM

Search Tags


/mathhelpforum @mathhelpforum