Results 1 to 2 of 2

Math Help - Truth value and Logical equivalents

  1. #1
    Newbie
    Joined
    Jan 2007
    Posts
    4

    Truth value and Logical equivalents

    Determine the truth value

    1a) \exists yx=y \rightarrow x > y))" alt="\forall x\exists yx=y \rightarrow x > y))" />
    1b) \forall yx=y \rightarrow x > y))" alt="\exists x\forall yx=y \rightarrow x > y))" />

    Logical equivalents?

    2a)  \forall x: ( P(x) \vee Q(x) ) and (\forall x: P(x)) \vee (\forall x: Q(x))
    2b)  \forall x: ( P(x) \wedge Q(x) ) and (\forall x: P(x)) \wedge (\forall x: Q(x))
    2c)  \exists x: ( P(x) \wedge Q(x) ) and (\exists x: P(x)) \wedge (\exists x: Q(x))
    2d)  \forall x: ( P(x) \rightarrow Q(x) ) and (\forall x: P(x)) \rightarrow (\forall x: Q(x))


    Please and thanks,
    James
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Banned
    Joined
    Aug 2008
    Posts
    42
    if all students in a classroom are tall or blond this does not imply that all are tall or all are Blond so 2a are not equivalent.
    if all students are tall and Blond then this is equivalent to all students are blond and all students are tall so 2b are equivalent
    if there exist a student who is tall and there exist a student who is Blondie then not necessarily there exists a student who is tall and blond so 2c are not equivalent
    if all students are Blond whenever they are tall this does not mean that every student is blond if he is tall so 2d are not equivalent
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Thevnin Equivalents
    Posted in the Math Topics Forum
    Replies: 13
    Last Post: March 10th 2011, 06:04 AM
  2. [SOLVED] Axiom of Choice equivalents
    Posted in the Discrete Math Forum
    Replies: 4
    Last Post: October 26th 2010, 01:40 PM
  3. Prove/disprove using logical using logical arguments
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: February 24th 2010, 06:29 AM
  4. Replies: 3
    Last Post: January 21st 2010, 07:45 AM
  5. Truth Table
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: March 5th 2009, 10:24 AM

Search Tags


/mathhelpforum @mathhelpforum