首页 | 本学科首页   官方微博 | 高级检索  
     

命题逻辑推理的代数化证明
引用本文:王礼萍,张树功.命题逻辑推理的代数化证明[J].计算机工程与科学,2008,30(10):78-81.
作者姓名:王礼萍  张树功
作者单位:1. 哈尔滨学院数学与计算机学院,黑龙江,哈尔滨,150086
2. 吉林大学数学学院,吉林,长春,130012
基金项目:哈尔滨学院学科发展基金
摘    要:本文尝试利用纯代数的方式,通过解多项式方程组对命题逻辑进行演算、推理。

关 键 词:真值函数  赋值  多项式  命题公式

The Algebraic Proof of Proposition Deduction
WANG Li-ping,ZHANG Shu-gong.The Algebraic Proof of Proposition Deduction[J].Computer Engineering & Science,2008,30(10):78-81.
Authors:WANG Li-ping  ZHANG Shu-gong
Abstract:In this thesis,we try to use a simple algebraic way to perform logic operations and deductions through solving the polynomial equations.
Keywords:truth function  assignment  polynomial  proposition
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《计算机工程与科学》浏览原始摘要信息
点击此处可从《计算机工程与科学》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号