排序方式: 共有20条查询结果,搜索用时 15 毫秒
1.
2.
周光明 《重庆工商大学学报(社会科学版)》1999,16(3)
通过复合判断间的逻辑方阵的构建,可寻找出逻辑方阵中四个复合判断的一系列等值判断。并在此基础上,可对复合判断进行一系列的真假推导 相似文献
3.
文红峰 《湖南医科大学学报(社会科学版)》2007,9(4):32-34
许多传统(普通)逻辑的教材对不相容选言命题定义的表述存在着一些问题,使人们在用真值表对不相容选言命题进行判定时并没有了解其潜在的局限性。再加上人们忽略了不相容选言命题联结词是一个二元关系联结词这种性质以及在构造真值表时错误地省略其步骤,从而导致认为不相容选言命题的真值表未能反映其逻辑特征。事实上,不相容选言命题的真值表如实地反映了其逻辑特征。 相似文献
4.
逻辑函数常用的化简方法有两种,即公式法和图形法。然而,当变量多于六个时,这两种方法都比较繁琐。本文提出一种降维图 RDM 化简逻辑函数的方法,将图形法和公式法二者融于一体,具有简便、准确且易于掌握的特点。文中提出并证明了多变量展开定理和降维定理。作为RDM 化简逻辑函数的基础。 相似文献
5.
判别逻辑推理是否有效的方法有:真值表法、等值演算法、主析取范式法、推理规则法等,本文通过几个具体教学实例,来了解和掌握离散数学中真值表法在数理逻辑推理中的应用,其思维方法和推理过程,大家可以参考与借鉴。 相似文献
6.
7.
余俊伟 《湖南科技大学学报(社会科学版)》2008,11(4):27-29
弗协调逻辑,又译作"次协调逻辑"、"超协调逻辑",是非经典逻辑的一个新兴分支.它是一种不能从矛盾推出一切的逻辑理论.论文指出弗协调逻辑的代表系统Cn的可判定方法存在漏洞,并给出了一个修正办法. 相似文献
8.
研究了从一个布尔表达式生成最小真值表的算法,阐述了在覆盖测试工具中利用此算法辅助设计测试用例的应用问题,以此提高代码覆盖率. 相似文献
9.
莫丽君 《辽宁工程技术大学学报(社会科学版)》2004,6(3):232-233
真值表是形式逻辑中广泛使用的一种逻辑方法,也是一种非常有用的工具.利用这一工具,可以判定一个命题表达式的真值情况;命题间的等值或矛盾关系;两个命题是否有条件关系;还可以应用它确定若干命题是否有一种共同情况存在以及寻找符合题设条件的情况和推理形式是否正确.这些结果都可以利用真值表这一工具一目了然地显示. 相似文献
10.
雷康 《西南民族大学学报(人文社会科学版)》1995,(4)
为了补救传统逻辑教材对三段论部分讲述的缺陷,本文从“提出三段论推理原则”、“深化对‘式’的研究”、“分格制定三段论推理的规则”、“引进现代逻辑的检验手段”四个方面提出了更新三段论理论体系的意见,对逻辑科学的现代化有一定的参考意义,特别是关于用真值在法与求合取范式法检验三段论推理有效性的问题,更有理论价值。 相似文献