论文部分内容阅读
在对命题逻辑代数化表示的基础上,通过解多项式方程组,对命题公式进行等价转换、演绎推理。用有理数域上的多项式组替代命题公式,利用纯代数的方法给出命题公式的重言式和矛盾式的证明。
重言式和矛盾式的代数化证明
【摘 要】
：
在对命题逻辑代数化表示的基础上,通过解多项式方程组,对命题公式进行等价转换、演绎推理。用有理数域上的多项式组替代命题公式,利用纯代数的方法给出命题公式的重言式和矛
【机 构】
：
哈尔滨学院数学与计算机学院,吉林大学数学学院
【出 处】
：
计算机与数字工程
【发表日期】
：
2009年8期
【基金项目】
：
哈尔滨学院学科发展基金（编号：HXK200717）资助,黑龙江省新世纪高等教育教学改革工程项目资助.
其他文献
针对三种基本的地域通信网网络拓扑结构,利用两种简单易行的数学方法,对其生存性进行了定量计算,得到的结论较以往靠单纯地定性分析来判断三种结构的优劣更据有说服力.同时两
提高煤炭产量，降低成本，必须发展机械化采煤技术，首先应大力开发高电压大功率综采成套设备，提高采区工作面电压，同时发展相应的供电设备及配套防爆电气产品，提高采区工作面机电设备
近几年以环境为代价的土壤快速逆向演变和土地资源的减少与耕地质量退化引起的党和国家的高度重视。本文中主要介绍了基本农田保护耕地质量调查和具体的建议。
为了建立Φ80mm×3000mm下行夹带流煤气化反应器模型,以胜利褐煤为原料,在该反应器中进行了N2、O2、H2O、H2O+O2气氛下800℃/900℃气化实验,研究了流场分布、主要反应发
详细介绍了分支截断法、区域增长法、掩模割线算法,以及最小不连续算法等几类路径跟随算法.基于湖试数据,给出了各算法处理结果并作了分析.
近日,国家卫计委在《尽快把“廉价救命”老药供给保障问题提上议事日程的提案》回复函中表示,近年来,工信部联合发改委、财政部等部门通过产业振兴和技术改造专项对生产短缺