命题逻辑推理的代数化证明  

The Algebraic Proof of Proposition Deduction

作　　者：王礼萍[1] 张树功[2] 

机构地区：[1]哈尔滨学院数学与计算机学院,黑龙江哈尔滨150086 [2]吉林大学数学学院,吉林长春130012

出　　处：《计算机工程与科学》2008年第10期78-81,84,共5页Computer Engineering & Science

基　　金：哈尔滨学院学科发展基金资助项目(HXK200717)

摘　　要：本文尝试利用纯代数的方式,通过解多项式方程组对命题逻辑进行演算、推理。In this thesis,we try to use a simple algebraic way to perform logic operations and deductions through solving the polynomial equations.

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

分 类 号：TP301[自动化与计算机技术—计算机系统结构]