1) prepositional form
命题式
3) propositional formula
命题公式
1.
True value table is an important concept in the propositional logic theory,we can seek the principal normal form of propositional formula,determine the type of propositional formula,and do logic reasoning by it.
真值表是命题逻辑理论中的一个重要概念,利用它可以求命题公式的主范式、判定命题公式的类型以及进行命题逻辑的推理等。
2.
Based on paper and,this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally.
在文[1]和文[2]的基础上,给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法,并实现了多个命题公式主范式的同时形式化输出。
4) propositional form
命题形式
1.
Since predicate logic of mathematical logic introduced non-logical constants, symbolization of propositions and propositional forms were relatively separated, so that proposition forms have not simply equated with symbolization of propositions.
命题形式是用符号来表示的,但命题形式是不是就是命题的符号化?传统逻辑对这个问题的回答似乎是不言而喻的,但数理逻辑却使这个问题变得复杂起来。
5) formal proposition
形式命题
1.
A formal proposition is essentially a category of concrete propositions, whose general properties can be understood through formal propositions.
形式命题的实质是具体命题的类。
6) manner of an assigned topic
命题方式
1.
This article states how to help students master the way of reviewing their lessons in five respects: ideological content (main idea), meaning of an assigned topic, manner of an assigned topic, the form of structure and the way of characterization.
本文从思想内容、命题含义、命题方式、结构形式、刻画人物方法等五个方面进行了阐
补充资料：欧洲式期权、美国式期权与亚洲式期权
欧洲式期权、美国式期权与亚洲式期权
【欧洲式期权、美国式期权与亚洲式期权】期权合约所规定的权利有一定的时效期，过了失效日后，权利即行作废。一些期权规定权利仅能在有效期的最后一天执行，这种期权被称为欧洲式期权(ell功pean叩tions);另一些期权则容许在有效期内任何一天执行，这种期权被称为美国式期权(一~oPtions)。值得指出的是，虽名为欧洲式或美国式期权，但已无任何地理上的意义。由于欧洲式期权的规定过于严格，又出现了一种“改变的欧洲式期权”，它允许期权在一定的时间范围内进行交易。可见，美国式期权为期权购买者提供了更多的选择机会，因此，它的购买者也往往需支付更高的保险费。近年来无论在欧洲或美国，所交易的期权均以美国式为主，欧洲式期权虽仍存在，但其交易量已比不上美国式期权。 在so年代末期，市场上又出现了一种所谓亚洲式期权(asian ontions)，但也无地理上的意义，其差别主要在于履约价值(exe而sev公此)的计算。以买权为例，无论是美国式期权或是欧洲式期权，执行权利所能得到的履约价值均为当时标的物的市价减去履约价格，再乘以合约所定的数量，但亚洲式期权的履约价值则为权利期间内标的物市价的平均(计算至履约日为止)，减去履约价格，再乘以合约所定的数量。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条