Skip to main content


eCommons@Cornell >
College of Engineering >
Computer Science >
Computer Science Technical Reports >

Please use this identifier to cite or link to this item:
Title: On Presenting Monotonicity and On EA=>AE
Authors: Gries, David
Keywords: computer science
technical report
Issue Date: Apr-1995
Publisher: Cornell University
Abstract: Two independent topics are treated. First, the problem of weakening/strengthening steps in calculational proofs is discussed and a form of substantiating such steps is proposed. Second, a simple proof of (Ex| R.x: (Ay| S.y: P.x.y)) greater than or equal to (Ay| S.y: (Ex| R.x: P.x.y)) is presented, which uses the idea of a witness for an existnetial quantification.
Appears in Collections:Computer Science Technical Reports

Files in This Item:

File Description SizeFormat
95-1512.pdf101.77 kBAdobe PDFView/Open
95-1512.ps69.26 kBPostscriptView/Open

Refworks Export

Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.


© 2014 Cornell University Library Contact Us