Hello!

Simple question + looking for confirmation.

If a rule says: If Sarah is cool, she will go to the party with her sister; otherwise, she will not.

Sarah cool ---> Party with sister

~ Sarah Cool ---> ~ Party with sister

Yes? I read somewhere that this is like an 'if and only if' rule... can someone comment?

Their contrapositives:

~Party with sister ---> ~Sarah cool

Party with sister --> Sarah cool

0

4 comments

  • Sunday, Jun 08 2014

    Thanks so much for the explanation, YesManJr!

    @jy-ping

    In case anyone wants to practice with this rule in the Logical Reasoning section, PT63, S3, Q. 22 is excellent practice!

    0
  • Sunday, Jun 08 2014

    YesManJr, that's a fantastic explanation.

    If you guys have access to the course, the lesson on this is here:

    http://classic.7sage.com/lesson/but-not-otherwise/

    0
  • Sunday, Jun 08 2014

    TL;DR:

    If X then Y; otherwise not Y.

    If and only if X occurs will Y occur.

    ^Statements written like those two are always biconditionals. They should be written out like this: X (---) Y (or the contrapositive, ~X (---) ~Y)

    ---

    If Sarah is cool, she will go to the party with her sister; otherwise she will not. If you take that statement apart, it actually says two things:

    1.) Sarah is cool --> Sarah goes to party with sister

    2.) ~Sarah is cool (what the "otherwise" means here) --> ~Sarah goes to the party

    If you take the contrapositive of 2, it turns into this:

    If Sarah goes to the party with her sister then she is cool.

    So now we know that if Sarah is cool she goes to the party and if she doesn't go to the party then she's not cool. The two ideas are *directly* tied to each other. Either it is the case that Sarah is cool *and* going to the party OR it is the case that Sarah is not cool and not going to the party. In other words:

    Sarah is cool (---) Sarah goes to party with sister

    Making one true forces the other to be true and making one false forces the other to be false. That statement is logically equivalent to an "if and only if" statement.

    If and only if Sarah is cool will she go the party with her sister.

    That statement means that (1) If Sarah is cool then she will go the party with her sister (X --> Y) and (2) Only if Sarah is cool will she go to the party with her sister (Y --> X). Statement 2 is the contrapositive of the second statement from the first translation up above.

    3
  • Saturday, Jun 07 2014

    Good question.. would also love to see an answer!

    0

Confirm action

Are you sure?