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

Quest. Cont. About Theorem And Inference Rule

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