【摘要】 本文是文献[2]的继续。以扩充的自然推理系统为基础,建立了程序逻辑的一个形式推导系统,并证明了它的完全性。文章最后以例子阐明如何使之应用于程序正确性的推导。更多还原

【Abstract】 This paper is a continuation of [2]. First, an extended natural deduction system of the programming logic is established and then its completeness is proved. Second, a number of theorems in this formal system are obtained and their application to reasoning about program correctness is demonstrated with some examples.更多还原