一种求解前束析(合)取范式的简单方法

本文提出了一种由前束析(合)取范式求前束合(析)取范式的简单方法。该方法根据谓词逻辑自身的特点,结合命题逻辑中命题公式的主析取范式和主合取范式的互补关系,将前束析(合)取范式转化为主析(合)取范式,再得出相应的主合(析)取范式,最后准确地得出前束合(析)取范式。

有理数理论的计算复杂性

本文讨论了有理数理论的复杂性，通过构造精确的判定过程，从而确定了有理数理论的计算复杂性上界．

谓词逻辑中前束范式的求解方法研究

《离散数学》谓词逻辑中前束范式的求解一直是一个难点。对前束范式求解步骤进行分析和总结,对两种换名规则和换名情况进行分类和研究,结合实例帮助学生更好地掌握整个前束范式的求解过程,并在实际教学过程中起到很好的教学效果。

数理逻辑教学中的例题选择

在数理逻辑教学中，通过适当的例题选择，可以加强学生逻辑思维能力的训练，培养他们分析问题和解决问题的能力。

一阶逻辑中公理化真度研究

一阶逻辑是公理系统的标准形式逻辑之一,其中包含的程度化推理等研究内容,是一个研究热点也是难点。文中从一阶逻辑演算的语义理论出发,利用可满足性及完备性定理研究了一阶逻辑中公理化真度。首先给出并、交运算可满足性的定义,其次说明了两个特殊公式与逻辑有效公式以及定理的关系,最后得出与公式等价的前束范式。上述结果将为谓词逻辑程度化研究做准备。

一阶逻辑公式自动推演前的预处理

讨论了一种方法用于在处理γ子式前先对δ子式进行处理,减少了后期执行的工作量,简化了自动推演程序,并对其在理论上进行了证明,同时也得到了对一阶逻辑公式进行范式转换的方法.

关于一阶逻辑范式定理的几个等值式的一个注记

以｛→,～｝为连词完全集的一阶逻辑前束范式定理是由4 个等值式得到的。对于4个等值式,本文得到了它们之间的一个基本关系;同时,利用不带等词的一阶系统K 中的两个定理来证明了4 个等值式是两两等价的。