1) 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是存在限制蕴含范式的仅有中间逻辑。
2) 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的性质时可用的结论,并且分析了自反性与非自反性之间、对称性与反对称性之间、对称性与非对称性之间、非自反性和反对称性以及非对称性之间的联系。
3) implication
[英][,ɪmplɪ'keɪʃn] [美]['ɪmplɪ'keʃən]
蕴涵式;蕴含式
4) prime implicant/implicates
缺省本原蕴含/蕴含式
5) fuzzy effective implicative formula
Fuzzy有效蕴含式
6) The Method of Proof on Formula Implication
公式蕴含的证法
补充资料：Boole函数的范式
Boole函数的范式
Boolean functions. normal forms of
致洲月e函数的范式!B。目e韶腼比佣5.normaifom.sot’;E抑e.‘Ix中扒。目“盛I.oPM旧日‘.I，Ie和p删] 表达Boole函数一类特殊公式.区别为析取范式 (disjunctive normal form)(见B喊e函数的极小化(Boolean functio。5 mlnimization of))与合取范式(conzunctive noroial form).如果乘积x了，·x考的所有变元都不同，则称为人级匆等令零(elem“ntary conjunc-t，on)，其中，当。二l时，x“二x二当a:二0时，、“=〔二“l”被看作o级的初等合取·如果逻辑和一弓丫一丫戈气的所有变元都不同，就称为;级的初等析取(elemen-tary dlsjunctlon)“‘0”被看作0级的初等析取. 公式吸l\/丫涯r，其中及，，…以分别是;一，r;级的互异的初等合取，称为一个析取范式，数乙一，r称为它的享伞件(complex，ty，;公式戮’“琳其中黔l，…贱分别是尸1，一p级的互异的初等析取，称为一个合取范式，数工泊。称为它的复杂性(com-Plexity).每个不恒为零的Boole函数都可由一个析取范式来定义，一般说，这种范式不是唯一的对于不恒为零的Boole函数，同样也可用合取范式来定义. 从定义Boole函数f(、，一凡)的一个表出发，容易得到家布哲粤苹享(详r几ctd‘sjunctiVen‘，rmalfofm)以!丫…\厂或、，其中谈二一‘，一x哭’·‘，二二1 ，‘)，同时忆一，氏。满足‘(认1.·…氏。)=1-表达一个Boole的数f的完满析取范式是唯的.完布仓零苹感(娜r全补“‘conjunct，Ve‘“orma}for“‘)‘“丁以类似地来定义. 对“儿乎所有的”Boole函数，山于一单位集的个数在2门’一石2”2与，{+护万2”’之间变动，故对J‘.儿乎所有的”Boole函数，完满析取范式的渐近复杂性是nZ”’.那些仅在点取零值的凡几‘Boole函数，其完满析取范式具有最弋的复杂性这个复杂性是。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条