1) Compound Proposition of Simplified Truth
纯真值复合命题
2) compound proposition of non-truth value
非纯真值复合命题
1.
The disjunctive proposition is a compound proposition of non-truth value.
尽举选言命题是非纯真值复合命题,其真值不是肢命题的真值的真值函数。
3) compound proposition
复合命题
1.
The root of the equation “x2-x-6 =0 is x=-2 or x=3” was a compound proposition took up a higher place.
近几年,数学教育类杂志刊载的关于简易逻辑的文章不在少数,其中很多都涉及到一个代表性问题的讨论:“命题‘方程x2-x-6=0的解是x=-2或x=3'是否是复合命题。
2.
In our country, logic circles have different views on three theory problems :the definition of compound proposition , the definition of disjunctive proposition and the dignity of exclusive disjunctive proposition.
我国逻辑界对复合命题的定义、选言命题的定义以及不相容选言命题的身份这三个理论问题 ,有不同的观点。
4) the equivalent expression of the true proposition
真命题的等值式
5) synthetical proposition (truth)
综合命题(真理)
6) compound fuzzy propositions
复合模糊命题
1.
During the development of fuzzy expert system and fuzzy control systems,we should deal with the aggregation atomic propositions in compound fuzzy propositions.
结果表明,文中给出的弱逻辑拟三角模算子可以在不同应用背景下,有效地处理不同类型的复合模糊命题真值运算,也可以在其它的模糊系统中有效处理多个模糊子集之间的聚集运算。
补充资料:力学量的可能值和期待值
在量子力学中,力学量F用作用于波函数上的算符弲表示。在数学上,对于一个算符,满足
的函数 ui(r)称为弲的本征函数,式中Fi是与r无关的数,称为本征值。如果ui(r)描写微观粒子的状态,则它必须满足单值、连续和有限的标准条件。在这种限制之下,上式中的本征值可以取一系列分立值,或取一定范围内的连续数值。
在测量力学量F时,观察到的只能是它的本征值。若一个力学量的本征值具有分立谱,我们说这个力学量是量子化的。
量子力学中假定力学量的全部本征函数组成一个完全系;这意思是说:描写体系的任一状态的波函数ψ都可以用力学量的本征函数ui展开:
在ψ和ui都是归一化的情况下,上式中的展开系数сi具有如下的物理意义:在ψ态中测量力学量时,得到结果为Fi的几率是|сi|2。
因此,若微观粒子的定态波函数是某力学量算符的本征函数ui(r),则在这一状态中,力学量F取确定值Fi。
在ψ态中对力学量进行多次测量,把所得结果加以平均,就得出力学量在ψ态中的期待值,以〈F〉表示:
上式称为力学量的期待值公式。如果ψ不是归一化的,那么期待值公式应写为
的函数 ui(r)称为弲的本征函数,式中Fi是与r无关的数,称为本征值。如果ui(r)描写微观粒子的状态,则它必须满足单值、连续和有限的标准条件。在这种限制之下,上式中的本征值可以取一系列分立值,或取一定范围内的连续数值。
在测量力学量F时,观察到的只能是它的本征值。若一个力学量的本征值具有分立谱,我们说这个力学量是量子化的。
量子力学中假定力学量的全部本征函数组成一个完全系;这意思是说:描写体系的任一状态的波函数ψ都可以用力学量的本征函数ui展开:
在ψ和ui都是归一化的情况下,上式中的展开系数сi具有如下的物理意义:在ψ态中测量力学量时,得到结果为Fi的几率是|сi|2。
因此,若微观粒子的定态波函数是某力学量算符的本征函数ui(r),则在这一状态中,力学量F取确定值Fi。
在ψ态中对力学量进行多次测量,把所得结果加以平均,就得出力学量在ψ态中的期待值,以〈F〉表示:
上式称为力学量的期待值公式。如果ψ不是归一化的,那么期待值公式应写为
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条