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

[tlaplus] Questions about TLA+ formula.

Hi all.
I'm reading the TLA+ hyperbook ,And I met some questions.
In Chapter 17 Temporal Logic Question 17.5
How to prove []p=>p' is not equivalent to any legal TLA+ formula.
and  in Chapter 17.4.1 lead to 
How to understand  F~>false,i think it is nerver true,when F is true,false do not become true

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/f53159ac-2f7c-4c02-9f61-64a2b11e1fean%40googlegroups.com.