关于充分正确性的正确性定理的质疑和修正

本文首先指出了文献[1]中给出的充分正确性的正确性定理证明中的错误,然后以实例说明该定理不成立。最后对该定理做了修正,并给出了一个证明。

红在矿山,专在矿山——记中文系一、二年级同学在煤矿边工边读

去年十月,中文系为了贯彻党的“教育为无产阶级政治服务,教育与生产劳动相结合”的教育方针,决定将一二年级分别下放京西门头沟、城子两处煤矿边工边读。第一次到校外边工边读,是没有一点经验的,能不能搞好呢?一些善意的人在为我们担忧,观潮派在冷嘲热讽。的确,在我们面前,是存在许多困难的,一切需要我们去摸索、创造。但是,在学校党委会和党总支领导下,在当地党委的大力支持和帮助下,依靠全体师生的努力,经过一个学期的实践,终于以思想、劳动、学习等各方面所取得的丰硕成果,粉碎了观潮派的谬论,解除了一些人的不必要的疑虑,证明了党的教育方针的完全正确性和富有伟大的生命力。