implication [,impli'keiʃən]

implication的基本解释

n.

暗示, 牵连, 含意

• The driver's implication in the crime was never proved.
• 司机与那起案件有牵连一事从未得到证实。

• He smiled, with the implication that he didn't believe me.
• 他微笑了，暗示着不相信我。

• Did you gather the implications of her remark?
• 你猜到她那番话的含意了吗？

• I resent your implication that my work is unsatisfactory.
• 我讨厌你这话的弦外之音，似乎我的工作不能令人满意。

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

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、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

The study of lattice implication algebras On the basis of previous results of lattice implication algebras, we firstly studied some properties of implication filters, prime implication filters, maximal implication filters and ultrafilters. Then we laid stress on the study of two kinds of relatively general lattice implication algebras, i. e. complete and atomic lattice implication algebra and injective lattice implication algebra.

关于格蕴涵代数的研究本文在已有的格蕴涵代数研究结果基础上，首先研究了格蕴涵代数中蕴涵滤子、素蕴涵滤子、极大蕴涵滤子和超滤等的性质和相互的关系，然后重点较系统地研究了两类覆盖面较广的格蕴涵代数：完备的且原子的格蕴涵代数和内射的格蕴涵代数。

On the one hand, Implication paradox provides semantics grounding for two conditional inference principles; on the other hand, the discovery of implication paradox arouses logicians discussion to the implication theory and makes them put forward many new implication theories such as: strict implication -, relevant implication and etc., and promotes the development of the implication theory and makes implication theory step down mysterious palace, and gradually penetrates into many other concrete sciences.

一方面，正是由于蕴涵怪论为传统逻辑两个假言推理规则提供了语义学根据；另一方面，正是由于蕴涵怪论的发现，引发了逻辑学家们对蕴涵理论的深入探讨，提出了许多新的蕴涵理论如严格蕴涵，相干蕴涵，衍推蕴涵等等，推动了逻辑学蕴涵理论的发展，并促使蕴涵理论走下神秘的殿堂，而逐步深入到许多具体的学科中去。

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

implication：含义

二)就文章的主旨(main idea)提问三)对文章中某个词汇或短语或句子的内在含义(implication)提问四)测试就文章某部分进行推论(infcr)的能力

implication：暗示

销售员可以通过背景(Situation)、难点(Problem)、暗示(Implication)、需求-效益(Need-Payoff)等四大类问题,便能摆脱传统行销盲点,由建立互信开始,探知并满足客户需求,创造并抓住供需双方成交的契机

implication：牵连

本质与普遍,这一政治牵连(implication),使之更为重要也更为严肃,同时也决定了它的特性(character),尤其是当哲学会议也是一次国际会议的时候. 国际哲学会议的可能性可以沿不同思路,在不同普遍性的层面上得到无尽的探究. 在其最普遍的意义上,

implication：蕴涵

离散中有永真式 P且Q蕴涵P "蕴涵"(implication)数学符号为"->". 可以像证明一个式子那样去理解语言的推理过程. 例子中的sequence,正是生成的树. sentence是根节点. 使用给定的文法,对输入语句进行分析找到一个文法分析树的过程,

financial implication：财政影响;财政负担;财政承担

financial guideline 财政准则 | financial implication 财政影响;财政负担;财政承担 | financial information system 财务资料系统