排序方式: 共有4条查询结果,搜索用时 15 毫秒
1
1.
何自强 《北京航空航天大学学报》1994,20(1):85-90
独立性是公理系统的重要性质之一。给出了一个一阶逻辑的公理系统,采用语义解释和公式变换的方法,证明了它的独立性。 相似文献
2.
本文提供了一种精度较高的层流附面层积分计算方法。它改进了国外机分法的计算精度,且不受附面层外流必须是位势流的限制。 相似文献
3.
何自强 《北京航空航天大学学报》1994,(1)
独立性是公理系统的重要性质之一.给出了一个-阶逻辑的公理系统,采用语义解释和公式变换的方法,证明了它的独立性. 相似文献
4.
离散数学中与量词有关的推理规则 总被引:1,自引:1,他引:0
何自强 《北京航空航天大学学报》2000,26(4):432-434
清楚地叙述了自然推理系统中的存在量词消去规则和全称量词引入规则满足的条件,而这些条件在许多离散数学教科书中叙述得相当含糊.与某些教科书中存在量词消去规则只能用于无自由变元的公式不同,按照本文给出的条件,存在量词消去规则也可以用于有自由变元的公式,因而增强了系统的推理能力.引进了解释之间和赋值之间关于公式集的等价性,从而证明了系统是可靠的,即一个证明中的结论是其前提的逻辑推论. 相似文献
1