1) prime implicant/implicates
缺省本原蕴含/蕴含式
2) implicational normal form
蕴含范式
1.
By applying this method,we show that HT is the weakest intermediate logic with general implicational normal form and that CPL is the only intermediate logic with restricted implicational normal form.
本文在中间逻辑中引入了良构范式的概念,为该类范式的研究提出了一个通用方法,并应用该方法证明了HT逻辑是存在一般蕴含范式的最弱中间逻辑,经典命题逻辑CPL是存在限制蕴含范式的仅有中间逻辑。
3) implication
[英][,ɪmplɪ'keɪʃn] [美]['ɪmplɪ'keʃən]
蕴含式
1.
Based on English definition of the six properties which a relation R defined on a set A and utilizing the logical characteristic of implications,two aspects of ordered-pair and the matrix MR are considered,and the properties of the R is analyzed one by one.
根据定义在一个集合A上的关系R的六个性质的英文定义,利用蕴含式的逻辑特点,从有序对和关系R的矩阵MR两个角度对每个性质逐一进行分析,得出在判定关系R的性质时可用的结论,并且分析了自反性与非自反性之间、对称性与反对称性之间、对称性与非对称性之间、非自反性和反对称性以及非对称性之间的联系。
4) implication
[英][,ɪmplɪ'keɪʃn] [美]['ɪmplɪ'keʃən]
蕴涵式;蕴含式
5) imply
[英][ɪm'plaɪ] [美][ɪm'plaɪ]
蕴涵;蕴含
6) implication
[英][,ɪmplɪ'keɪʃn] [美]['ɪmplɪ'keʃən]
蕴含
1.
We discuss t-norm and implications on I() based on left-continuous t-norm and right-continuous implications on .
本文在[0,1]上左连续t模和右连续蕴含的基础上讨论了区间数I([0,1])上的t模及蕴含,得到了(I([0,1]),T,θT)构成一个剩余格。
2.
The paper introduces several methods of proof about formula implication: truth table method;equivalent performing mathematical calculations method;direct method;indirect method and so on.
本论文介绍了公式蕴含的几种证法:真值表法、等价演算法、直接证法、间接证法等,灵活应用公式蕴含的证明方法,有利于逻辑推理的顺利进行。
3.
Simplify the axiom system of lattice implication algebras , which was given by Y.
给出的格蕴含代数的公理系统 ,并给出另一个公理系统。
补充资料：缺省值
分子式：
CAS号：
性质：计算机软件系统要求用户输入某些值而用户未给定时，系统自动赋予的事先设定的数值。
CAS号：
性质：计算机软件系统要求用户输入某些值而用户未给定时，系统自动赋予的事先设定的数值。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条