蕴含式,implication
implicational normal form蕴含范式
1.By applying this method,we show that HT is the weakest intermediate logic with generalimplicational normal form and that CPL is the only intermediate logic with restrictedimplicational normal form.本文在中间逻辑中引入了良构范式的概念,为该类范式的研究提出了一个通用方法,并应用该方法证明了HT逻辑是存在一般蕴含范式的最弱中间逻辑,经典命题逻辑CPL是存在限制蕴含范式的仅有中间逻辑。
3)implication[英][,?mpl?"ke??n][美]["?mpl?"ke??n]蕴涵式;蕴含式
4)prime implicant/implicates缺省本原蕴含/蕴含式
5)fuzzy effective implicative formulaFuzzy有效蕴含式
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函数，其完满析取范式具有最弋的复杂性这个复杂性是。
