Results 1 to 2 of 2

Math Help - set theory/logical proof

  1. #1
    Junior Member
    Joined
    Nov 2009
    Posts
    73

    set theory/logical proof

    Prove that for all natural numbers x and y, if x is not equal to y, the S(x) is not equal to S(y).

    Im thinking it might make more sense to prove that if x=y that gives that S(x)=S(y)

    but im having difficulties getting started because it seems obvious.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,513
    Thanks
    769
    As in the other thread, this depends on the content of the course/textbook. If this is about Peano arithmetic, then x = y -> S x = S y holds not only for S but for any unary functional symbol. This is an instance of one of the axioms for equality (and Peano arithmetic is by definition a first-order theory with equality).

    On the other hand, x # y -> S x # S y, which is equivalent to S x = S y -> x = y says that S is injective. Other functional symbols may be interpreted by non-injective functions. Injectivity of S is also one of the Peano axioms.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 6
    Last Post: July 7th 2011, 12:09 AM
  2. Help with set theory proof
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: March 8th 2011, 10:25 AM
  3. Replies: 5
    Last Post: October 19th 2010, 10:50 AM
  4. Prove/disprove using logical using logical arguments
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: February 24th 2010, 06:29 AM
  5. Replies: 3
    Last Post: January 21st 2010, 07:45 AM

Search Tags


/mathhelpforum @mathhelpforum