J4 ›› 2008, Vol. 30 ›› Issue (10): 78-81.
• 论文 • 上一篇 下一篇
王礼萍[1] 张树功[2]
出版日期:
发布日期:
Online:
Published:
摘要：
本文尝试利用纯代数的方式，通过解多项式方程组对命题逻辑进行演算、推理。
关键词: 真值函数 赋值 多项式 命题公式
Abstract:
In this thesis,we try to use a simple algebraic way to perform logic operations and deductions through solving the polynomial equations.
Key words: truth function, assignment, polynomial, proposition
王礼萍[1] 张树功[2]. 命题逻辑推理的代数化证明[J]. J4, 2008, 30(10): 78-81.
0 / / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://joces.nudt.edu.cn/CN/
http://joces.nudt.edu.cn/CN/Y2008/V30/I10/78
