[tlaplus] About "implies" between WF and SF

[Huailin <huailin@xxxxxxxxx>]

Hillel,

I am reading again your article this evening at https://www.hillelwayne.com/post/fairness/

I feel that the “Weak” fairness implies the existence of “strong” fairness. may introduce bit confusion to beginners. 

I mean, the "imply" word could make people get confused. I don't think you want to say:

WF implies SF, which means:  WF(A) --> SF(A).  However, from TLA+, It should be otherwise. I mean, SF(A)-->WF(A).

I guess you just wanted to tell readers that the "existence of SF". So, maybe we don't want to use "implies" word here, which is more a reserved word for prepositional logic.

Best regards，

Michael

-- 
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/5ad2759e-d30f-4b95-9ea2-fbd205a83574n%40googlegroups.com.