基于古典数理逻辑算法的命题逻辑应用研究

摘要：

数理逻辑是用数学方法研究形式逻辑的一门科学,也是用数学方法研究推理的科学.所谓数学方法,是指引进一套符合体系的方法,所以数理逻辑也叫符号逻辑.现代数理逻辑有四大分支:证明论、模型论、递归论和公理化集合论.本文主要应用数理逻辑中命题演算应用算法来解决命题逻辑应用问题.

关键词：数理逻辑、算法

分类号：O141(数理逻辑、数学基础)

在线出版日期：2012-08-16（万方平台首次上网日期，不代表论文的发表时间）

页码：284