[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[tlaplus] Questions about TLA+ formula.
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.