1) The Method of Proof on Formula Implication
公式蕴含的证法
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) law implication
法律蕴含
5) implication
[英][,ɪmplɪ'keɪʃn] [美]['ɪmplɪ'keʃən]
蕴涵式;蕴含式
6) prime implicant/implicates
缺省本原蕴含/蕴含式
补充资料：公式
公式
formula
公式[伽丽词匕;中opMy月a} 形式化语言(fol们llb双划langi‘ge)中的一个句子(可能带有参数).在几种专有的形式化语言中公式概念的精确定义可见公理集合论(axl0Inatic Set thoory)，形式算术(a月thn犯tic，fon了以1)，谓词演算(p代过i以te口Ic山LIS)，类型论(ty娜，tl袱〕ryof).在数学的实践中，公式也有语义的意义.它们可能是名字、命题的形式、定义的缩写等等.B.H.r钾也“撰卢景波译
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条