论文部分内容阅读
以不同于通常的根先证明搜索策略,从纯蕴涵演算的初始公理和初始规则出发,通过分析公理在定理证明中的作用和规律,可以得到两个实用的能行过程。这两个能行过程虽不是机械化的证明搜索程序,但有助于新程序的研发,并且可应用于数理逻辑的实际教学。
纯蕴涵演算定理证明的两个能行过程
【摘 要】
：
以不同于通常的根先证明搜索策略,从纯蕴涵演算的初始公理和初始规则出发,通过分析公理在定理证明中的作用和规律,可以得到两个实用的能行过程。这两个能行过程虽不是机械化
【机 构】
：
南开大学哲学院
【出 处】
：
重庆理工大学学报：社会科学版
【发表日期】
：
2014年11期
其他文献
Talmy的注意力分布系统理论提出句子的句法结构对读者注意力分布产生影响。在探讨主谓句句首主语对注意力争夺的基础上,提出主语具有焦点性,在中英文旅游文本中,汉语原语语义
“卓越法律人才教育培养计划”为法学教育带来了重大发展机遇。法学专业面临的就业困境，并非供需失调的结构性矛盾，职业技能培养不足是其根源。当前法学实践教学环节主要有法律
为研究预喷射对柴油机排放性能的影响,在某电控高压共轨柴油机试验台架上,进行了单次喷射及预喷射对柴油机排放和经济性影响的试验。结果表明：采用预喷射可以降低缸内燃烧温度
<正>[病例摘要]患者为32岁女性,主诉左上前牙自发痛伴腭侧牙龈红肿3天。患者十余年前外伤史。检查见21牙冠变色,髓腔开放,21腭侧根尖处肿物,直径约1.5cm。X线片示21根中上段
会议
在社会主义市场经济体制下,行政单位的资金管理问题日益突出。行政单位的资金管理改革相比于国企等代表性的国有资产的管理体制改革较为落后,改革进程止而不前,从而影响了经