论文部分内容阅读
提出了一种较为可行的量化逻辑自然演绎系统,其中间接证明是这一系统的主要证明方法,而量词消去和置换规则是这一系统的基本演绎规则.
一种可行的量化逻辑自然演绎系统
【摘 要】
：
提出了一种较为可行的量化逻辑自然演绎系统,其中间接证明是这一系统的主要证明方法,而量词消去和置换规则是这一系统的基本演绎规则.
【机 构】
：
洛阳大学河南洛阳471023
【出 处】
：
洛阳大学学报
【发表日期】
：
2002年3期
其他文献
以汇嘉大厦为例,设计了电梯运行安排的数学模型,可提高高层写字楼电梯运行效率,减少乘客等候时间.
文章从煤矿安全运行的角度,阐述了矿井辅助运输的主要特征和运安方式,提出了采用无轨胶轮及制度保障等有效措施,以此提高辅助运输效率,起到保证矿井安全生产的积极作用.
南水北调来水调入密云水库调蓄工程需要利用调度中心对整个工程进行综合协调、统一调度,鉴于其选址的特殊性,考虑到防洪的要求,需对场区及建筑基础整体考虑。通过对调度中心
研究目的：提高隧道涌水预报的可靠性和预报工作效率，减少盲目性，为现场施工地质超前预报寻找一种较为适宜的地质调查与分析的方法。研究方法：在勘察设计资料基础上，通过对隧道穿越
由于现有夹具缺陷导致工件矩形花键经常发生滚偏现象,改进夹具结构,使得铁屑不会掉入夹具内,影响夹具夹紧工件,有效克服旧夹具的缺陷,降低生产线废损率,提高生产效率,实现精