反蕴涵元件,NOT-IF-THEN element,音标,读音,翻译,英文例句,英语词典

您的位置：首页 -> 词典 -> 反蕴涵元件

1) NOT-IF-THEN element 点击朗读

反蕴涵元件

2) backward implication 点击朗读

反向蕴涵

The algorithm used backward implication in improved FAN algorithm to activate fault and mapped test vector space to the chaotic space,adopted chaotic search to find out the suitable testing pairs.

该算法利用改进FAN算法的反向蕴涵部分激活故障并将测试向量空间映射到混沌空间,采用混沌搜索来确定未确定的测试向量位。

3) conditional implication unit 点击朗读

条件蕴涵门

4) anti-positive implicative BCK-algebras 点击朗读

反正蕴涵BCK-代数

5) IF-THEN operation 点击朗读

条件蕴涵操作

6) conditional implication operation 点击朗读

条件蕴涵运算

补充资料：严格蕴涵演算

严格蕴涵演算
strict implication calculus

严格蕴涵演算[striet inl两ca坟”ca」。dlls;c二poro云“Mn月“R叫M“Mc，Hc月elf”el 基于严格蕴涵(strict imPlicat幻n)的一种逻辑演算(fogical calculus)，即与“如果··…那么……”相联系的逻辑运算上的一种演算.对于严格蕴涵来说，所谓的“(实质)蕴涵悖论”可完全地或部分地避免:一个假命题蕴涵任一命题，而任一命题蕴涵一个真命题. 严格蕴涵演算的目的是为了反映条件命题的前提与结论之问意义上的联系.存在一个完整的严格蕴涵演算系列(Lewis演算，Ackern‘，rm演算，及其他演算)，它们彼此之间的区分是由一些公式在某些演算中可以推出，而在另一些演算中不能推出的事实来确定(例如，在Lewis演算中“蕴涵悖论”仅仅部分地可避免，然而在Ackermann演算中却可完全避免).严格蕴涵演算同模态语句(“它是可能的”，“它是不可能的”，“它是必要的”等等)的形式体系化有密切联系;在某些演算中，严格蕴涵通过模态(1议汕涵ty)来表示，而在另一些演算中，模态是通过严格蕴涵来表示.【补注】其他试图避免“蕴涵悖论”的方法(例如牛言三段论(disjunctive syllogism)A八(门A VB)睁月)，有以相关逻辑(relevant 10百e)的名称出现的(IAll).11}中的Lewis演算的51一55也被视为Lc、s调查系统(Lewis sury即systelll)(【A3」).

说明：补充资料仅用于学习参考，请勿用于其它任何用途。

参考词条

剩余蕴涵

蕴涵涵蕴蕴涵;蕴含本原蕴涵/蕴涵式文化蕴涵蕴涵算子

说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
	您的位置：首页 -> 词典 -> 反蕴涵元件 1) NOT-IF-THEN element 反蕴涵元件 2) backward implication 反向蕴涵 1. The algorithm used backward implication in improved FAN algorithm to activate fault and mapped test vector space to the chaotic space,adopted chaotic search to find out the suitable testing pairs. 该算法利用改进FAN算法的反向蕴涵部分激活故障并将测试向量空间映射到混沌空间,采用混沌搜索来确定未确定的测试向量位。 3) conditional implication unit 条件蕴涵门 4) anti-positive implicative BCK-algebras 反正蕴涵BCK-代数 5) IF-THEN operation 条件蕴涵操作 6) conditional implication operation 条件蕴涵运算补充资料：严格蕴涵演算严格蕴涵演算 strict implication calculus 严格蕴涵演算[striet inl两ca坟”ca」。dlls;c二poro云“Mn月“R叫M“Mc，Hc月elf”el 基于严格蕴涵(strict imPlicat幻n)的一种逻辑演算(fogical calculus)，即与“如果··…那么……”相联系的逻辑运算上的一种演算.对于严格蕴涵来说，所谓的“(实质)蕴涵悖论”可完全地或部分地避免:一个假命题蕴涵任一命题，而任一命题蕴涵一个真命题. 严格蕴涵演算的目的是为了反映条件命题的前提与结论之问意义上的联系.存在一个完整的严格蕴涵演算系列(Lewis演算，Ackern‘，rm演算，及其他演算)，它们彼此之间的区分是由一些公式在某些演算中可以推出，而在另一些演算中不能推出的事实来确定(例如，在Lewis演算中“蕴涵悖论”仅仅部分地可避免，然而在Ackermann演算中却可完全避免).严格蕴涵演算同模态语句(“它是可能的”，“它是不可能的”，“它是必要的”等等)的形式体系化有密切联系;在某些演算中，严格蕴涵通过模态(1议汕涵ty)来表示，而在另一些演算中，模态是通过严格蕴涵来表示.【补注】其他试图避免“蕴涵悖论”的方法(例如牛言三段论(disjunctive syllogism)A八(门A VB)睁月)，有以相关逻辑(relevant 10百e)的名称出现的(IAll).11}中的Lewis演算的51一55也被视为Lc、s调查系统(Lewis sury即systelll)(【A3」). 说明：补充资料仅用于学习参考，请勿用于其它任何用途。参考词条剩余蕴涵

©2011 dictall.com