数理逻辑系统的实践性分析

本论文针对数理逻辑系统命题变项,利用真值表法、等值演算法制作了命题演算演示系统,并对该系统进行实践性分析。     

论复合判断间的对当关系

通过复合判断间的逻辑方阵的构建，可寻找出逻辑方阵中四个复合判断的一系列等值判断。并在此基础上，可对复合判断进行一系列的真假推导     

论不相容选言命题的真值表及其逻辑特征

许多传统（普通）逻辑的教材对不相容选言命题定义的表述存在着一些问题，使人们在用真值表对不相容选言命题进行判定时并没有了解其潜在的局限性。再加上人们忽略了不相容选言命题联结词是一个二元关系联结词这种性质以及在构造真值表时错误地省略其步骤，从而导致认为不相容选言命题的真值表未能反映其逻辑特征。事实上，不相容选言命题的真值表如实地反映了其逻辑特征。     

利用RDM化简逻辑函数

逻辑函数常用的化简方法有两种,即公式法和图形法。然而,当变量多于六个时,这两种方法都比较繁琐。本文提出一种降维图 RDM 化简逻辑函数的方法,将图形法和公式法二者融于一体,具有简便、准确且易于掌握的特点。文中提出并证明了多变量展开定理和降维定理。作为RDM 化简逻辑函数的基础。     

真值表法在数理逻辑推理中的应用

判别逻辑推理是否有效的方法有：真值表法、等值演算法、主析取范式法、推理规则法等,本文通过几个具体教学实例,来了解和掌握离散数学中真值表法在数理逻辑推理中的应用,其思维方法和推理过程,大家可以参考与借鉴。     

弗协调命题逻辑Cn的判定性问题

弗协调逻辑,又译作"次协调逻辑"、"超协调逻辑",是非经典逻辑的一个新兴分支.它是一种不能从矛盾推出一切的逻辑理论.论文指出弗协调逻辑的代表系统Cn的可判定方法存在漏洞,并给出了一个修正办法.     

更改条件/判定覆盖最小真值表生成算法及其应用

研究了从一个布尔表达式生成最小真值表的算法，阐述了在覆盖测试工具中利用此算法辅助设计测试用例的应用问题，以此提高代码覆盖率．     

真值表在形式逻辑中的功能

真值表是形式逻辑中广泛使用的一种逻辑方法,也是一种非常有用的工具.利用这一工具,可以判定一个命题表达式的真值情况;命题间的等值或矛盾关系;两个命题是否有条件关系;还可以应用它确定若干命题是否有一种共同情况存在以及寻找符合题设条件的情况和推理形式是否正确.这些结果都可以利用真值表这一工具一目了然地显示.     

更新三段论理论体系的我见

为了补救传统逻辑教材对三段论部分讲述的缺陷，本文从“提出三段论推理原则”、“深化对‘式’的研究”、“分格制定三段论推理的规则”、“引进现代逻辑的检验手段”四个方面提出了更新三段论理论体系的意见，对逻辑科学的现代化有一定的参考意义，特别是关于用真值在法与求合取范式法检验三段论推理有效性的问题，更有理论价值。