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

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

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

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

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.