1) implicative expression
蕴涵式表达式
1.
Pan-Boolean algebra is used to prove that two logical expressions of one decision list with the complete conditional attribute(the disjunctive expression and the implicative expression) are logically equivalent.
用泛布尔代数系统作为逻辑工具,证明了条件属性完全决策表的两种逻辑表达式(蕴涵式和析取范式)是逻辑等价的,但是决策属性相容和不相容决策表的蕴涵式表达式有所不同。
2) implication scheme
蕴涵式图表
3) intension of expression
表达式内涵
1.
The peculiarity can be described as that Mohist logic pays much attention to the intension of expression and puts special emphasis on the actual context of thinking.
通过细致分析 ,本文指出墨辩逻辑具有不同于其他逻辑传统特别是亚氏三段论的逻辑特质 ,其主要表现在 :墨辩强烈的实用功利目的 ,决定了其朴素思维的直观性、综合性 ,这使得墨辩使用了一种独特的类推论证方法 ;而实用性的要求、类推方法的使用、古汉字系统的特殊性、墨家学说的影响等诸种因素交织在一起 ,相互作用 ,使得墨辩形成注重表达式内涵 ,强调思维实际内容的逻辑特
4) Implication
[英][,ɪmplɪ'keɪʃn] [美]['ɪmplɪ'keʃən]
蕴涵式
1.
Some of equivalent types and the implication type can t be proved by the matrix unlike propositional logic.
量词在一阶逻辑推理中起着重要作用,然而它的性质及运算规律比较繁杂,关于它的一些等值式和蕴涵式不能像在命题逻辑中那样用真值表来验证,本文将给出一系列的论证。
5) Formal Implication
形式蕴涵
6) prime implicant form
素蕴涵式
补充资料：欧洲式期权、美国式期权与亚洲式期权
欧洲式期权、美国式期权与亚洲式期权
【欧洲式期权、美国式期权与亚洲式期权】期权合约所规定的权利有一定的时效期，过了失效日后，权利即行作废。一些期权规定权利仅能在有效期的最后一天执行，这种期权被称为欧洲式期权(ell功pean叩tions);另一些期权则容许在有效期内任何一天执行，这种期权被称为美国式期权(一~oPtions)。值得指出的是，虽名为欧洲式或美国式期权，但已无任何地理上的意义。由于欧洲式期权的规定过于严格，又出现了一种“改变的欧洲式期权”，它允许期权在一定的时间范围内进行交易。可见，美国式期权为期权购买者提供了更多的选择机会，因此，它的购买者也往往需支付更高的保险费。近年来无论在欧洲或美国，所交易的期权均以美国式为主，欧洲式期权虽仍存在，但其交易量已比不上美国式期权。 在so年代末期，市场上又出现了一种所谓亚洲式期权(asian ontions)，但也无地理上的意义，其差别主要在于履约价值(exe而sev公此)的计算。以买权为例，无论是美国式期权或是欧洲式期权，执行权利所能得到的履约价值均为当时标的物的市价减去履约价格，再乘以合约所定的数量，但亚洲式期权的履约价值则为权利期间内标的物市价的平均(计算至履约日为止)，减去履约价格，再乘以合约所定的数量。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条