永真式相关论文
本文试图从联合演算的角度对传统逻辑作现代数理逻辑的解释。本文认为现行的联合演算用以解决判定问题的标准是不可靠的，现行的联合......
张清宇同志对张金成同志的系统Z(见[2])以及我们对系统Z的评价(见[3])从三个方面提出意见。这些意见发表在文[1]中。针对文[1],我......
本文从系统Z与传统辩证法、经典逻辑、次协调逻辑的相互关系着手(特别从句法和语义角度加以考虑),评价系统Z对辩证逻辑形式化的开......
研究了模糊模态逻辑中的永真式与基本模态逻辑中的有效公式之间的关系．证明了永真式一定是逻辑有效公式，但反之不真；在模糊模态逻辑中......
在文[1]的基础上．给出了命题逻辑中任一命题公式的真值表的生成算法与命题公式类型的判定算法，实现了利用计算机对有限多个命题公式......
<正> 如何运用现代数理逻辑的工具系统地处理传统推论学说?希尔柏脱(D·Hilbert)和阿克曼(W·Ackermann)在《数理逻辑基础》(科学......
【正】 作为形式逻辑基本规律之一的排中律和同一律、不矛盾律一样,都是形式逻辑所研究的思维形式结构和简单逻辑方法的理论基础。......
【正】 联言推理是复合判断推理的重要内容。我国目前出版的逻辑著作,只介绍了联言推理的组合式(即合成式)、分解式二种推理形式。......
在ＥＤＡ设计工具的ＨＤＬ综合系统中，高级综合，ＲＴＬ级综合和逻辑级综合等都常常需要对逻辑函数进行永真式的判定。本文给出一种高效的永真式判判定算......
