Results 1 to 3 of 3

Math Help - Correctness

  1. #1
    Newbie
    Joined
    Aug 2009
    Posts
    6

    Correctness

    Say That In A Symbolic Definition Of A Set Powered To n, What Definition Is More Correct?

    S_n=\left\{\left(a_1,a_2\ldots,a_n\right)\mid\fora  ll i\leq n,a_i\in S\right\}

    Or The More Extreme One:

    S_n=\left\{\left(a_1,a_2\ldots,a_n\right)\mid\fora  ll i\in\mathbb{N},i\leq n\Rightarrow a_i\in S\right\}

    Personally I Think That The Usage Of \Rightarrow Is A Bit Confusing Here?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor Swlabr's Avatar
    Joined
    May 2009
    Posts
    1,176
    Quote Originally Posted by olekaiwalker View Post
    Say That In A Symbolic Definition Of A Set Powered To n, What Definition Is More Correct?

    S_n=\left\{\left(a_1,a_2\ldots,a_n\right)\mid\fora  ll i\leq n,a_i\in S\right\}

    Or The More Extreme One:

    S_n=\left\{\left(a_1,a_2\ldots,a_n\right)\mid\fora  ll i\in\mathbb{N},i\leq n\Rightarrow a_i\in S\right\}

    Personally I Think That The Usage Of \Rightarrow Is A Bit Confusing Here?
    Just writing S_n=\left\{\left(a_1,a_2\ldots,a_n\right)\mid a_i\in S\right\} would suffice - there is no ambiguity as to what the a_i could be.

    Also, I believe it is considered bad practice to put implies arrows and the like in the right hand side. I may be wrong though.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Aug 2009
    Posts
    6
    By Imply Arrows And The Like Do You Mean Quantifiers Also?

    BecauseI Find Them Useful Sometimes.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Proving NFA Correctness
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: May 3rd 2011, 01:12 PM
  2. Check derivtives for correctness
    Posted in the Calculus Forum
    Replies: 5
    Last Post: January 16th 2011, 12:09 PM
  3. Program Correctness Problem
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: March 18th 2009, 06:07 PM
  4. Program Correctness Proof
    Posted in the Math Topics Forum
    Replies: 1
    Last Post: February 24th 2009, 10:12 PM
  5. Correctness of a sample function
    Posted in the Math Topics Forum
    Replies: 1
    Last Post: June 25th 2006, 11:32 AM

Search Tags


/mathhelpforum @mathhelpforum