Monotonicity in Calculational Proofs

We discuss the use of weakening and strengthening steps in calculational proofs. We present a metatheorem concerning monotonicity of positions in a formula that should have a more prominent place in the teaching of such proofs and give supporting examples.

• Type: Conference
• Year: 1999
• Where: BIRTHDAY
• Authors: David Gries
• Keywords: Applied Computing, BIRTHDAY 1999, Calculational Proofs, Metatheorem Concerning Monotonicity, Prominent Place