How would one write "A then B or C but not both"?

I usually use "A -> B/C not both" when solving games, but I was wondering if there is any other way to rewrite this statement.

According to our conditional translations, I think the statement could also be written as A -> (B(-)/C), but it looks very weird...

Can anyone help? Thanks :)

0

5 comments

  • Sunday, Aug 26 2018

    It looks like you got it figured out. Did you view the Advanced Logic videos? There are a few that would be helpful, including one specifically on "or, but not both".

    0
  • Saturday, Aug 25 2018

    @donamhyun690 Thank you so much for your help! :)

    0
  • Saturday, Aug 25 2018

    @donamhyun690 said:

    @donamhyun690 Thank you for your reply.

    Do you mind answering one more question for me?

    Can

    A->C, B->C

    be written as

    A/B->C ?

    Because 'or' here is inclusive!?

    Yes, definitely.

    1
  • Friday, Aug 24 2018

    @donamhyun690 Thank you for your reply.

    Do you mind answering one more question for me?

    Can

    A->C, B->C

    be written as

    A/B->C ?

    Because 'or' here is inclusive!?

    0
  • Friday, Aug 24 2018

    You can split it in to two sentences.

    A --> (B v C)

    B --> /C

    Your "weird" translation is correct though. I'd just use whichever feels most comfortable.

    0

Confirm action

Are you sure?