I understood "A or B but not both" as one of the followings:

  • A(O) B(X)
  • A(X) B(O)
  • A(X) B(X)
  • Then what is the contrapositive of it?

    A/B = CONTRAPOSITIVE => /A + /B ?????

    But my last statement (3) indicates /A and /B could fall under the definition of "A or B but not both".

    Can someone clarify my thoughts please :(

    1

    11 comments

    • Friday, Jul 07 2017

      Thank you @rahelaalam514 !

      0
    • Friday, Jul 07 2017

      @vanessadfisher628

      The negation is binary. So there are two negation of this statement.

      A and B are both in like @akikookmt881 said.

      Also both A and B are both out.

      Both of these possibilities are excluded from our "or but not both" rule.

      2
    • Friday, Jul 07 2017

      @rahelaalam514

      That's a great summary thanks.

      Also, the negation of the entire bi-conditional would be A and B. Is that right?

      2
    • Friday, Jul 07 2017

      Hey so I think its a lot easier to understand this intuitively:

      The first part of the sentence is:

      A or B

      -This means one of A or B has to be selected.

      The possibilities for selection are:

      A selected and B not selected

      B selected and A not selected

      A and B both selected.

      The second part of the sentence is but not both. This adds an exception to our statement above.

      The but not both is telling us either A or B has to be selected but there is a caveat to that - you cannot select both. This simply takes out our possibility number 3 (3) of having both A and B selected together. Now we only have two possible selections left.

      A selected, B not selected (one world)

      This means that if we know either A is selected or B not selected we know what the other has to be.

      B selected, A not selected

      This means if we know either B is selected or A not selected we are in this world.

      Check this video out:

      https://classic.7sage.com/lesson/or-but-not-both/

      When JY does it, he breaks it down the two sentences and then combines them.

      A or B: /A---->B; contrapositive /B---->A

      not both of A or B : A---->/B; contrapositive B---->/A

      if you combine them it neatly lines up to:

      A(-----)/B and B(-----)/A

      2
    • Friday, Jul 07 2017

      Oh wait this is always apart biconditional nvm! @akikookmt881 thanks!

      0
    • Friday, Jul 07 2017

      EDITED

      0
    • Thursday, Jul 06 2017

      Good thing I saw this. Never thought that it's so confusing. Thanks for the summed up explanation @akikookmt881

      0
    • Thursday, Jul 06 2017

      @donamhyun690 said:

      Actually! FYI for anyone who came into see this question... you can't apply both rules! Use only one of the rules to apply and the remaining variable simply becomes negated!

      .

      .

      Therefore, A or B but not both

      = /A ---> /B

      As @ryonseymore612 wrote, "A or B but not both" = /A (----) B, A (----) /B.

      The negation of the conditional statement is A and B.

      1
    • Thursday, Jul 06 2017

      Actually! FYI for anyone who came into see this question... you can't apply both rules! Use only one of the rules to apply and the remaining variable simply becomes negated!

      .

      .

      Therefore, A or B but not both

      = /A ---> /B

      0
    • Tuesday, Jun 06 2017

      Thank you!

      0
    • Tuesday, Jun 06 2017

      A or B translates to /A -----> B, or is negate sufficient. The not both just makes it a biconditional /A (-----) B. So that would just be two worlds, A in, B out and B in, A out.

      1

    Confirm action

    Are you sure?