1) entailment orthogonal
蕴含正交
2) inclusion of external text
蕴含外部正文
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.
它与逻辑语义范畴的蕴含、隐涵不同。
补充资料：Fourier级数(关于正交多项式的)
Fourier级数(关于正交多项式的)
rthogonal polynomials) Fourier series (in
F血的er级数(关于正交多项式的)【I饭的er sedes(加川如卿.1州ylm血‘);。”晓p，八(no opTOroHa‘-眼M，。oro呱。aM)] 形式为 艺。。p。(l) 月之0的级数，其中{尸。}是在区间(a，b)上关于权函数h正交的多项式系(见正交多项式(ort加即间即妙-no而alS))，系数{。。}由公式 b a。一J儿(*)f(*)尸。〔二)、(2)给出.这里，f属于函数类L:=L之f(a，b)，h]，即它的平方在正交性区间(a，b)上关于权函数h可和(玫比g比可积). 对任意正交级数，(l)的部分和{s。(x，f)}是f的依L:度量的最佳逼近，且a，满足条件 浊a。=0·(3)在证明级数(l)在一个点x或在(a，b)中的某个集合上收敛时，通常利用等式f(x)一s。(戈，f)=拜。汇a。(甲二)只十;一a。+:(价二)只(x)l，其中{a。(叭)}是辅助函数毋二的Founer系数，对于固定的x， 川门=力匕2二丛兰上.。。(。.bl. X一汇而拼。是由Cll南.川回{抽均.以公式(Ch由toffel一Dar·boux fonn“巨)给出的系数.如果正交性区间[a，b]有限，毋乒几且序列笼只圣在给定的点x有界，则级数(l)收敛到值f(x). 对于f6L一L:l(a，b)，h」，即在区间(a，b)上关于权函数h可和的函数类，也可定义系数(2).对有限区间!a，b]，如果f“L，【(a，b)，hl且序列{凡}在整个区间[a，b]上一致有界，则条件(3)成立.在这些条件下，在点x可a，bJ处如果叭〔L，I(a，b)，h]，则级数(l)收敛到值f(x). 设A是区间(a，b)中的某个集合，序列王尸。}在A上一致有界，设B=[a，b〕\A，记L，(A)‘L，【A，川是在A上关于权函数h的p次可和的函数类.如果对固定的x已Al，有叭任L，(A)及叭。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条