Go backward to Operational Interpretation Go up to Top Go forward to

Equivalence of Formulas

A iff B

• Formulas A and B have the same meaning in any context.
• Operationally, then the following always holds:

                A.eval() == B.eval()