查询词典 elementary conjunction
- 与 elementary conjunction 相关的网络例句 [注：此内容来源于网络，仅供参考]
-
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、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。
-
Why MBTI is not implemented in elementary schools, perhaps with conjunction of IQ tests, is beyond me and we all would benefit if it were, in my opinion.
为什么MBTI是在小学推行，也许与智商测试一道，是超越我，我们都将受益，如果它是，在我看来。
- 推荐网络例句
-
It is also known as one of the most poisonous naturally occurring substances.
它也被称为一个最自然发生的有毒物质。
-
The greatest stress is found at the location on the cross section where V is the largest.
最大应力出现在横截面上V为最大的地方。
-
It is the most important three water problem which our country faces in the 21st century that flood and waterlog, drought and shortage of water, the deterioration of water environment.
洪涝灾害、干旱缺水、水环境恶化是二十一世纪我国面临的三大水问题。