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

Thank you!!!



Dear ...:

Thank you for your help.

We constructed a THEORY as follows:

t1 : AXIOM (IF --- THEN ,,, ELSE +++ ENDIF)
t2 : AXIOM (IF --- THEN ,,, ELSE +++ ENDIF)
t3 : AXIOM (IF --- THEN ,,, ELSE +++ ENDIF)
t4 : AXIOM (IF --- THEN ,,, ELSE +++ ENDIF)

t10 : THEOREM (IF --- THEN ,,, ELSE +++ ENDIF)

But, when we try to prove this theory, prover chooses only one of AXIOMS or THEOREM.

Could you show me how to prove all of AXIOMS or THEOREM.

In addition, we do not know if it is proper to use THEOREM.

Thank you for your help again.

Regards, Han Seong.