Results 1 to 2 of 2

Math Help - How do I proof this?

  1. #1
    Member
    Joined
    Jun 2007
    Posts
    117

    How do I proof this?

    Show that the \left( {\forall x} \right) P(x) V \left( {\forall x} \right) Q(x) and \left( {\forall x} \right) (P(x) v Q(x)) are not logically equivalent.

    How do I proof this just using an example?? Thanks
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,646
    Thanks
    1596
    Awards
    1
    \left( {\forall y} \right)\left[ {R(y)} \right] means everyone here is Russian.

    \left( {\forall z} \right)\left[ {E(z)} \right] means everyone here is English.

     \left( {\forall x} \right)\left[ {R(y) \vee E(x)} \right] means everyone here is Russian or English.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 5
    Last Post: October 19th 2010, 10:50 AM
  2. Replies: 0
    Last Post: June 29th 2010, 08:48 AM
  3. [SOLVED] direct proof and proof by contradiction
    Posted in the Number Theory Forum
    Replies: 2
    Last Post: February 27th 2010, 10:07 PM
  4. Proof with algebra, and proof by induction (problems)
    Posted in the Discrete Math Forum
    Replies: 8
    Last Post: June 8th 2008, 01:20 PM
  5. proof that the proof that .999_ = 1 is not a proof (version)
    Posted in the Advanced Applied Math Forum
    Replies: 4
    Last Post: April 14th 2008, 04:07 PM

Search Tags


/mathhelpforum @mathhelpforum