



Calculational logic is a propositional and predicate logic that is designed to be used as opposed to logician's logics, which are designed to make the study of logic more effective. Proofs in the logic resemble proofs found in many fields of mathematics, such as linear algebra, modern algebra, and even calculus. At the core, a calculationallogic proof is simply a sequence of subsitutions of equals for equals. Click on any of the following items for more information.
