蕴涵
- 与 蕴涵 相关的网络例句 [注:此内容来源于网络,仅供参考]
-
The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.
二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究,证明了LP中任何一个格值逻辑公式等值于一个广义合取范式; 2、对LP中不可分极简式的判定方法进行了研究,讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件; 3、对LP中不可分极简式的α-归结域进行了研究,得到了一些基本结果; 4、对经典逻辑中基于归结原理的自动推理方法进行了研究,给出了用符号矩阵表示子句集合的一种方法,把不同的归结过程转换成矩阵的列变换。
-
Now, the notion of compulsive behavior is not without difficulties of its own.
现在,受强制行为的概念是本身蕴涵着困难的行为。
-
If a subject who knows only P cannot deduce that Q (as the knowledge argument suggests), or if one can rationally conceive of P without Q (as the conceivability argument suggests), then it seems that P does not imply Q.
如果一个主体仅仅知道P,不能推理得到Q,或如果一个人可合理设想没有Q的P,那么似乎P并不蕴涵Q。
-
In Chapter 4, in the above system, the definitions of sensitive dependence on initial value, strong sensitive dependence on initial value and chaos set of a sequence of maps are put forward; Meanwhile, sensitive dependence on initial value of a sequence of maps is promited, and the concept of N - sensitive factor is also proposed; That at the local connected space λ_2/(N-1) is a N—sensitive factor, and a chaotic map containing strong sensitive dependence on initial value of a sequence of maps is proved.
第四章,在上述系统中给出了一列映射的初值敏感依赖、初值强敏感依赖和混沌集的定义;同时又对一列映射的初值敏感依赖进行了推广,提出了该系统下一个N-敏感系数的概念:证明了在局部连通空间中λ_2/N-1是系统的一个N-敏感系数;又证明了一列映射的混沌集蕴涵一列映射对初始条件具有强敏感依赖性。
-
Traditional grammar distinguishes the abstract noun "whiteness" from the concrete noun "white" without implying that this linguistic contrast corresponds to a metaphysical distinction in what they stand for.
传统语法区分了抽象名词"白『whiteness,白性』"和具体名词"白『white』",但不蕴涵说这个语言区分对应某种其所表达的形上学区分。
-
This kind of love is selfless, it must be outspoken give to all students; This kind of love is deep, it contains, in does for all students in each matter; This kind of love is sacred, it can congeal the teachers and students friendship which is in perfect harmony.
这种爱是无私的,它要毫无保留地献给所有的学生;这种爱是深沉的,它蕴涵在为所有学生所做的每一件事中;这种爱是神圣的,它能凝成水乳交融的师生情谊。
-
Movements that connote the unity of, cooperation among, exchange between and development for the peoples all over the world.
极拳的动感姿态,其简洁的动作线条蕴涵着优美、和谐及力量,寓意世界各国人民之间的团结、合作和交流。
-
Have be apart from now for more than 8000 years of across the lake of bridge culture contain ancient old Wu more the earth is abundant but brilliant culture, have in the world the earliest shipbuilding culture;Have to make the pottery culture and the long paddy rice cultivation histories consummately;Still have the very advanced Chinese herbal medicine culture and the tea cultures at that time.
距今已有8000多年历史的跨湖桥文化蕴涵着古老吴越大地丰富而灿烂的文化,有世界上最早的造船文化;有精湛的制陶文化和悠久的水稻栽培史;还有当时相当先进的中药文化和茶文化。
-
It even implies that we are only temporarily and contingently people (on the usual definitions of that term).
甚至蕴涵我们只是临时的、偶然的人(按常用的这个语词的定义)。
-
On the other hand, we also give several terse sufficiency conditions where the fuzzy mean convergence of fuzzy integrals implies the convergence in fuzzy measure and making them equivalent.
另一方面,文中还给出了广义模糊积分平均收敛蕴涵依测度收敛的几个简洁的充分性条件,以及使两者等价的条件。
- 推荐网络例句
-
Do you know, i need you to come back
你知道吗,我需要你回来
-
Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.
1〕 杨银书,王祥生,李德昌。安徽省首次发现嗜群血蜱。
-
Chapter Three: Type classification of DE structure in Sino-Tibetan languages.
第三章汉藏语&的&字结构的类型划分。