论文部分内容阅读
一、猜想一般化阶段林碧珍教授提出恒真、非恒真与恒假三种数学命题类型,并依据各类型所使用的全称量词或存在量词与证明方法,将之分为6个命题种类~([1]),如表1。在效化猜想阶段形成的9个全班猜想为全班所有例子都满足的恒真猜想。但是,在班级有限例子下恒真,是否可以确保对于"任意""所有"也保持恒真?