[tlaplus] Re: Lecture 9, part 1, Alternating-Bit Protocol

[Leslie Lamport <tlaplus.ll@xxxxxxxxx>]

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

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".

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 as

A \/ B

meaning it's an A step or a B step ... but isn't the case where

the 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' = BVar

is unchanged and B says AVar' = AVar is unchenced. So if both

A 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.