discussed

discussed的基本解释

-

[变形] discuss的过去分词

vt.

讨论, 论述

与discussed相关的网络例句 [注：此内容来源于网络，仅供参考]

Mao Zedong has discussed confiscation of bureaucratic capital , has built the socialist state owned economy problem on depending on the socialist society pattern of ownership and assigning the system problem,have discussed the problem reforming individual economy becoming socialism collective economy , have discussed the problem reforming private capitalistic economy becoming socialist state owned economy , have discussed appropriate develop individual economy and private economy and the problem introducing foreign investment, possessions having discussed "three-level of rural collective economy, team the problem being a basis ", have discussed the problem needing to pay attention to the interests of the collective and the individual as well as the state, Have discussed the problem persisting in distributing according to ones performance , opposing an equalitarianism.

在社会主义社会的所有制结构和分配制度问题上，毛泽东论述了没收官僚资本、建立社会主义国营经济的问题，论述了把个体经济改造成社会主义集体经济的问题，论述了把私人资本主义经济改造成社会主义国营经济的问题，论述了适当发展个体经济和私营经济以及引进国外投资的问题，论述了农村集体经济的"三级所有，队为基础"的问题，论述了要兼顾国家、集体、个人三者利益的问题，论述了坚持按劳分配、反对平均主义的问题。

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、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

与discussed相关的网络解释 [注：此内容来源于网络，仅供参考]

discussed：讨论

A put up举起;B.take up占据,从事;C.pick up拾起,(搭载)某人. '26.A [解析]本句意为:如果你想把棋下好的话,你就得慢慢来. 27.B [解析]女儿并未和我争论(argued)和过多地讨论(discussed). 我们又继续下了l0分钟.

discussed：討論,商談;論述,詳述

widely 範圍廣地;廣泛地 | discussed 討論,商談;論述,詳述 | individuals 個人的,個體的

discussed：討論,商討

quality 品質 | discussed 討論,商討 | individual 個別的

as discussed：看来 你如我们之前商量的 那样处理好"生意"啦

I'll go with you.Excuse us.|我跟你... | It looks like, uh, you're taking careof business, as discussed.|看来 你如我们之前商量的 那样处理好"生意"啦 | Dad, not everything in life'sa business deal.|爸爸 生...

as discussed：我们已讨论过;前已商谈

as agreed按前所议定;前已谈妥 | as discussed我们已讨论过;前已商谈 | as far as we are aware据我们所知;就我们所知