Quest. Cont. About Theorem And Inference Rule

[belout...@xxxxxxxxx]

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