Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Proof for the following statement Not Semi-simple

  1. Nov 17, 2008 #1
    I have a proof for the following statement

    Not Semi-simple [tex]\Rightarrow[/tex] degenerate.

    Does this mean the following is true?

    non degenerate [tex]\Rightarrow[/tex] semi-simple
  2. jcsd
  3. Nov 18, 2008 #2


    User Avatar
    Science Advisor

    Re: Contrapositive???

    Yes. If your original statement is true, then the second statement, the contrapositive, is also true.
  4. Nov 18, 2008 #3
    Re: Contrapositive???

    I thought so, thanks, I would be happier if I could visualise it in my head though if you know what I mean.

    Like 'If it is my car then it is red' then the statement 'if it is not red, then it is not my car' is equivalent and I can easily see that. Just don't quite see it in this case.

  5. Nov 18, 2008 #4
    Re: Contrapositive???

    It might be because your premise is negated.

    Let A mean "semi-simple" and B mean "degenerate"

    Your statement is ~A => B

    The contrapositive is actually
    ~B => ~~A

    The ~'s cancel to yield ~B => A.

    If you were to make up a funny word to mean ~A (maybe "semi-complicated" =-), then it would sound more logical:

    "If something is semi-complicated, then it must be degenerate."

    "If something isn't degenerate, then it isn't semi-complicated".
  6. Nov 22, 2008 #5
    Re: Contrapositive???

    One way you can visualize it is by using some geometry. Your example: if its my car, then its red. Think of a small circle, in that circle put "my car". Then put that circle in a larger circle, and lable the large circle, "red". Now you can see if you pick your car, you have to pick red. Now if you pick not red, you cannot pick your car.

    of course this is by no means rigorous because of the ambiguities of such a set and subset, but its a simple trick that may help you to see what your doing.
  7. Nov 30, 2008 #6
    Re: Contrapositive???

    It won't help with intuition, but just first to convince yourself of the equivalence and its contrapositive you could write out the truth tables of P => Q and ~Q => ~P and compare!
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook