[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

*From*: Leslie Lamport <tlaplus.ll@xxxxxxxxx>*Date*: Sat, 13 Feb 2021 09:37:58 -0800 (PST)*References*: <2f63d23e-42ba-4fe4-8f05-325515a18265n@googlegroups.com>

If I say

She can join the team if she is good on offense or on defense.

do you think I'm saying that she can't join the team if she is good

on both offense and defense? In informal text, whether "or" means

"and/or" or "or ... but not both" depends on the context. In this

on both offense and defense? In informal text, whether "or" means

"and/or" or "or ... but not both" depends on the context. In this

context, since A \/ B is true if A /\ B is true, it means "and/or".

In a mathematical context, "or" almost always means "and/or".

In a mathematical context, "or" almost always means "and/or".

Leslie

On Friday, February 12, 2021 at 8:32:22 PM UTC-8 bc.be...@xxxxxxxxx wrote:

In the video, around 8:58, the Next action is defined asA \/ Bmeaning it's an A step or a B step ... but isn't the case wherethe step is BOTH an A step and a B step allowed by this_expression_?Later, A and B are defined so that A explicitly says BVar' = BVaris unchanged and B says AVar' = AVar is unchenced. So if bothA and B occur in a Next, it amounts to a stuttering step.I just want to make sure I understand

You received this message because you are subscribed to the Google Groups "tlaplus" group.

To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.

To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/fb4373d1-878a-408e-8624-46774dae3bedn%40googlegroups.com.

**References**:**[tlaplus] Lecture 9, part 1, Alternating-Bit Protocol***From:*Brian Beckman

- Prev by Date:
**Re: [tlaplus] Lecture 9, part 1, Alternating-Bit Protocol** - Next by Date:
**[tlaplus] Re: Question on Video 8a** - Previous by thread:
**Re: [tlaplus] Lecture 9, part 1, Alternating-Bit Protocol** - Next by thread:
**[tlaplus] Question on Video 8a** - Index(es):