1)propositional functor命题函子
1.They discussed propositional functor and the mutual definability of propositional functor.斯多葛在亚里士多德的基础上,对命题理论的研究又有了新的突破,探讨了命题函子及命题函子的可互定义性。
英文短句/例句
1.Research on the Propositional Functor in Propositional Logic of Stoicism试析斯多葛学派命题逻辑研究中的命题函子理论
2.Two Nature Propositions of Characteristic Function and the Converse Proposition特征函数的两个性质命题与其逆命题
3.Excellent way of constructing auxiliary function in medium-value proposition proving;中值命题证明中构造辅助函数的方法
4.Two Propositions and Applications about Dualistic Function s Extremum;二元函数极值问题的两个相关联命题及其应用
5.Establishing auxiliary function is the important meth od to testify median proposition.构造辅助函数是证明中值命题的一种重要途径.
6.A convex function proposition containing some famous inequalities;一个蕴含了诸多著名不等式的凸函数命题
7.On the New Propositions and Apllications of Differential Mean Value Theorem;关于函数的可微性中值定理的命题及应用
8.Two Constructive Methods of Auxiliary Functions in The Proof of Differential Intermediate Value Propositions;微分介值性命题证明中辅助函数构造两法
9.The Unified Definition of Limit of Simple Function and New Prove of Related Propositions;一元函数极根的统一定义及有关命题的新证明
10.Generalized Willmore Functionals of a Submanifold and Related Variational Problems;子流形的广义Willmore泛函及其变分问题
11.The Generalization of Kantorovich Operator and the Approach Problems of Functions;Kantorovich算子推广与函数逼近问题
12.Boundedness of Commutators Generated by Convolution Operators and Besov Functions;Besov函数与卷积算子交换子的有界性问题
13.The Priority of Solving Multi-atom Molecule with Density Function Theory;利用密度泛函理论处理多原子分子问题的优势
14.If the function is linearly homogeneous it is possible to derive several propositions of interest.若函数是线性齐次的，可以推导出一些令人感兴趣的命题。
15.A Universal Proposition about the Resonance Theorem for a Family of Additive Functionals on a Topological Group关于拓扑群上加性泛函族共鸣定理的一个普遍性命题
16.One proposition in theory of functions of real variable and its application in probability theory;实变函数论中的一个命题及其在概率论中的应用
17.How to Constitute Auxiliary Functions --An Elementary Introduction to the Proof of the Mean - Value Theorem and Its Related Propositions;如何构造辅助函数 ——浅谈中值定理及相关命题的证明
18.Approximation of Linear Operators and Width Problems in Some Function Spaces;若干函数空间中的线性算子逼近与宽度问题
相关短句/例句
propositional function命题函项
3)convex function凸函数命题
1.A convex function proposition containing some famous inequalities;一个蕴含了诸多著名不等式的凸函数命题
4)atomic proposition原子命题
5)molecular statement分子命题
6)Proposition Logic算子命题逻辑
1.An Operator Proposition Logic System and Inference Algorithm of Petri Net;一种算子命题逻辑系统及其T-不变量推理算法
延伸阅读
命题函数命题函数prepositional fraction 命题函数【卿哪讨能l五.叹柱佣;“pon03I.明“OH呱”翻中yll叫“，」 一种自变数和值均为真假值(t ruth从习ue)的函数.这一术语用于讨论形式化逻辑语言的解释. 如果Q是给定语言中公式的真假值集，那么命题函数是型为Q”~Q(。)0)的任何表达式.这些函数解释成能构造新语句或公式的命题联结词(proPOSitionalconnective).在真假值集经典的二值解释中，即当O二{0，‘}时，这类函数亦称为浑攀华攀函攀(fimctionoftheal罗腼of bgic).B，H.rP“HH撰【补注]命题函数亦称真假值函数(truth丘metion).当。一{0，‘}时，亦称BOole函熬(压刃把anfijnc-tion) 多少有点等价地，命题函数是自变数和值均为命题的函数.
