94-1415, March 1994. Accepted for publication in the Mathematical Monthly . Gries and Schneider. A new approach to teaching mathematics. E is a product of researchers in the field of the formal development of algorithms.
E is sound and complete.
The emphasis in proofs is on substitution of equals for equals instead of modus ponens. Equality, or equivalence, assumes an important role instead of being a bit player, as in most propositional logics. Below is a typical proof in equational logic. The line numbers are present only for later discussion. The theorem numbers refer to theorems of A Logical Approach to Discrete Math .