查询词典 propositional connective
- 与 propositional connective 相关的网络例句 [注:此内容来源于网络,仅供参考]
-
This paper uses S parameter to analyse the effect of external connective load on the measurement value of circulator isolation.
用S参数分析了外接负载对环行器隔离度测量值的影响,给出了在测量环行器在不同环行隔离状态时外接负载的选取原则,并给出了隔离度测量误差的两个极限范围值。
-
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、对经典逻辑中基于归结原理的自动推理方法进行了研究,给出了用符号矩阵表示子句集合的一种方法,把不同的归结过程转换成矩阵的列变换。
-
This is the web page of Connective Tissue Research.
这是结缔组织研究的网页。
-
It is also the essential structural component of all connective tissue.
它也是体内关节及皮肤细胞的重要组成部分。
-
This is caused by the fat and connective tissue that have been diminished.
这是所造成的脂肪和结缔组织已减少。
-
It is the major component of skeletal and connective tissue and provides structural support.
它的主要组成部分骨骼和结缔组织,并提供结构性的支持。
-
There are more invasive treatments for the destruction of the fat cells and connective tissue.
有更多的侵入性治疗,为销毁的脂肪细胞和结缔组织。
-
Objective: To study the clinical features and treatments of mixed connective tissue disease.
目的:探讨混合性结缔组织病的临床特点及治疗方法。
-
For me, following one soccer team has been the connective tissue of my life.
对我来说,迷上一个足球队始终是我生命的结缔组织。
-
Objective To explore the effect of connective tissue growth factor in the pathogenesis of pathological scar.
目的 探讨结缔组织生长因子在病理性瘢痕形成中的作用。
- 相关中文对照歌词
- Uh Oh
- Bent Backwards And Broken
- Coltrane
- 推荐网络例句
-
So it was last week in Selma , alabama.
上星期在亚拉巴马州塞尔马市发生的事件也是这样一个转折点。
-
The group also spearheads various social programs in China.
该组织还带头参与中国的各种社会活动。
-
He points out huge swathes of neighbouring land that once glimmered with rice paddies.
而最近,这片土地上的水稻被挖掘干净,取而代之的是一片养鱼场。