Hi there, I am having few problems with the precondition calculus. More specifcly, I can not say if an existential quantifier included in the predicate of the operation can be eliminated during the calculus, or if it is the precondition itself.
Here follows an attached file with a small example of what I am trying to do. Best regards, -- Artur Oliveira Gomes
exemple-19-08-09.doc
Description: MS-Word document
_______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
