【摘 要】
：
数理逻辑对命题逻辑推理问题的处理采用的是公理化的形式演绎推理体系,该方法虽严密、可靠,但它对人的知识水平以及形式化、抽象化能力要求较高。因此,本文用初等代数方式把
【机 构】
：
河南机电职业学院信息工程系,广州大学计算机科学与教育软件学院
【基金项目】
：
国家自然科学基金项目(60971093)
论文部分内容阅读
数理逻辑对命题逻辑推理问题的处理采用的是公理化的形式演绎推理体系,该方法虽严密、可靠,但它对人的知识水平以及形式化、抽象化能力要求较高。因此,本文用初等代数方式把命题逻辑的演绎推理转化为方程组的计算求解,通过求解方程实现命题逻辑的演绎推理。首先用方程组表示命题逻辑推理中的前提,然后利用数学软件求解,最后把结果转化为要推导的结论,进而实现了命题逻辑推理的代数化求解。实例表明:在计算机技术的支持下,该方法是可靠、有效的。
其他文献
在当下媒体竞争激烈的环境中,突发新闻报道想要做得出彩,电视记者不仅要把新闻的"五要素"即何时、何地、何人、何事、为何交代清楚,还要运用一切有效手段,尽可能地捕获现场所
目的探讨中药熏洗对膝关节周围骨折手术后关节功能恢复的作用。方法随机选取该院收治的60例膝关节周围骨折术后患者(2011年12月—2014年12月)作为研究对象,采用随机分组的方
我厂于2010年5月份接到混凝土搅拌站的情况反映，说近段使用我厂42．5R水泥配制的混凝土泌水性大，坍落度损失大，以致影响混凝土的质量。为此，厂部组织相关技术人员到搅拌站现场取样
近几年来,采用脑心通胶囊与心理疗法治疗脑梗死后遗症100多例,取得满意的效果。有效率达98%以上,现总结如下。 药物治疗 在基础病治疗上加用脑心通胶囊,3次/日,2个月为1个疗程,连用3个疗程。步长脑心通由黄芪、丹参、当归、川芎、赤芍、红花、没药、乳香、桂枝、水蛭、地龙、全蝎等药物组成,药理实验表明,黄芪具有显著的抗氧化、降血脂作用;丹参可降低血中低密度脂蛋白及甘油三酯的含量,降低
对于从事外语教学的工作者来说,在教育教学中,遇到的最大问题莫过于母语沉淀的影响。尤其是初中英语教学,要想排除母语的影响是不可能的。那么在平时教学中,如何发现并分析母
摘 要 目的:评价过氧化碳酰胺超声造影在诊治输卵管性不孕中的价值。方法:31例患者同时做过氧化碳酰胺超声造影和碘化油造影,另有299名患者分为两组,一组采用过氧化碳酰胺超声造影治疗,一组采用输卵管通液术治疗。结果:过氧化碳酰胺造影诊断符合率为90.3%,高于碘油造影,其诊断输卵管阻塞的特异性及阳性、阴性预测值也高于碘油造影;过氧化碳酰胺超声造影治疗组总有效率为94.24%,远远高于输卵管通液组的治