1) (μ,ν)-implication
(μ,ν)蕴含
2) (μ,ν)-resolution
(μ,ν)-归结
3) imply
[英][ɪm'plaɪ] [美][ɪm'plaɪ]
蕴涵;蕴含
4) implication
[英][,ɪmplɪ'keɪʃn] [美]['ɪmplɪ'keʃən]
蕴含
1.
We discuss t-norm and implications on I() based on left-continuous t-norm and right-continuous implications on .
本文在[0,1]上左连续t模和右连续蕴含的基础上讨论了区间数I([0,1])上的t模及蕴含,得到了(I([0,1]),T,θT)构成一个剩余格。
2.
The paper introduces several methods of proof about formula implication: truth table method;equivalent performing mathematical calculations method;direct method;indirect method and so on.
本论文介绍了公式蕴含的几种证法:真值表法、等价演算法、直接证法、间接证法等,灵活应用公式蕴含的证明方法,有利于逻辑推理的顺利进行。
3.
Simplify the axiom system of lattice implication algebras , which was given by Y.
给出的格蕴含代数的公理系统 ,并给出另一个公理系统。
5) entailment
[英][in'teilmənt] [美][ɪn'telmənt]
蕴含
1.
This paper introduces achievements made by philosophers and linguists on the definition of presupposition and reductionism of presupposition,and discusses the possibility of presupposition s being replaced by entailment and implicature and the role of presupposition in the information structure of discourses.
本文介绍了哲学家和语言学家在预设的界定、预设的归结论(reduction-ism)等方面的研究成果,并对预设是否会被蕴含(entailment)和含义(implicature)代替的可能性以及预设在语篇信息结构中的作用进行了论述。
2.
This treatise uses TFA concept and its analytic method to discuss the differences and characteristics of the presupposition,entailment and affirmance.
文章运用TFA概念和分析方法,探讨预设、蕴含和断言之间的区别及运作特点。
3.
Then some explainations are gaven about the entailment.
并提出蕴含的定义,在此基础上探讨预设和蕴含二者之间的关系及其区别。
6) connotation
[英][,kɔnə'teɪʃn] [美]['kɑnə'teʃən]
蕴含
1.
The paper discusses the subjective and objective meaning of "almost"from connotation and prediction,analyses the semantic prediction and pragmatic prediction of the adverb,and expounds the negative meaning from the angle of prediction.
从蕴含和预设的角度对"差点儿"的客观意义和主观意义进行了分析,分析了"差点儿"的语义预设和语用预设,并从预设的角度解释了羡余否定现象的产生。
2.
Implication refers to the semantic phenomena present in meaning but absent in discourse, It is different form the implication and connotation in the category of logical semantics.
它与逻辑语义范畴的蕴含、隐涵不同。
补充资料：科瓦列夫斯基，Μ.Μ.
俄国民族学家、历史学家、法学家、社会学家、彼得堡科学院院士。生于俄国哈尔科夫，卒于彼得堡（今列宁格勒）。1872年毕业于哈尔科夫大学法律系，后去柏林、巴黎、伦敦深造，结识了K.马克思和F.恩格斯。1878～1887年,任莫斯科大学教授，先后3次去高加索考察。1887年，因思想激进被解聘，后去欧美研究和讲学。1905～1916年，任彼得堡大学教授。1906年创立民主改良党，鼓吹君主立宪，被选为杜马代表。1907年成为国家参议院议员。1912年，Β.И.列宁曾指出他是"早就一只脚站在反动阵营里的思想家"。他是实证主义者，学术上既受英国历史学家H.J.S.梅因和古典进化学派的影响，又受马克思主义的影响。其著作有数百种，主要的是：《伏特州公社土地所有制解体史纲》(1876)、《公社土地占有制，其解体的原因、进程和结果》(1879)、《现代习惯和古代法律》（1～2卷，1886）、《原始法权》(1886)、《高加索的法律和习惯》(1890)、《家庭及所有制的起源和发展》(1890)、《现代、近代和古代的氏族生活》(1905)、《社会学》(1910)。在这些著作中坚持母系氏族制是普遍存在的观点，认为父系家庭公社是母系家庭向现代个体家庭的过渡，明确划分两种公社，即家长制家庭公社（见家庭公社）和农村公社，认定后一种公社是氏族瓦解的形式。这些观点在学术界产生了一定的影响，马克思主义创始人对此曾予以高度评价。他还写有其他方面的著作，如：《英国中世纪末期的社会制度》(1880，博士论文)、《现代民主的起源》（1～4卷，1895～1897）、《欧洲资本主义经济产生之前的经济增长》（1～3卷，1898～1903）等。他的优秀著作大多写于早期，这时他实际上认为社会经济因素起着主要的作用。但在后期，他鼓吹因素理论，强调心理和生物因素具有重要的意义。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条