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

*From*: belout...@xxxxxxxxx*Date*: Sun, 30 Apr 2017 09:17:03 -0700 (PDT)

Thanks Stephan For your rapid reply, You say the proof is obvious. But, I can not see How to make the Proof in a formal way of this Theorem . Furthermore, What about The suggested Inference Rules ? A A R1: --------------- R2:---------------- A ==> Enabled(A) Enabled(A) Thanks For Help

**Follow-Ups**:**Re: [tlaplus] Quest. Cont. About Theorem And Inference Rule***From:*Stephan Merz

- Prev by Date:
**Re: [tlaplus] About a Theorem in the Raw TLA** - Next by Date:
**Re: [tlaplus] Quest. Cont. About Theorem And Inference Rule** - Previous by thread:
**Re: [tlaplus] About a Theorem in the Raw TLA** - Next by thread:
**Re: [tlaplus] Quest. Cont. About Theorem And Inference Rule** - Index(es):