实质蕴涵

That is,the truth value of an implication compound proposition is just the compatibleness degree of the actual implication degree or implication rate between its sub-propositions with the language value that describes the feature of implication relation in this compound proposition.

关于复合命题A→B本身的真值，传统逻辑中是由其支命题A、B的实际真值通过某种真值运算(二值逻辑中用"实质蕴涵"，模糊逻辑中有众多的"蕴涵算子")而求得。我们称这种求蕴涵型复合命题真值的方法为逻辑方法。

The moves in question can be represented by material implication; and if those conditionals can be taken as true, the arguments in which they figure would be valid.

这里所论的推进能被描绘为'实质蕴涵'；如果这些条件能被作为真，所形成的论证就会是有效的。

At that level we stand to secure an apriori grasp of the primary ampliative move, a move that the material implication at the propositional level merely shadows.

在这个水平上，我们坚持维护对首要的扩展推进进行先天把握，这个推进的实质蕴涵，在命题水平被遮蔽。

Material implication is an extremely important concept of modern logic,but we encountered a lot of problems as we attempted to analyze and explain the hypothetical proposition of natural language with material implication ,this situation obstructs the aim of logic norm and people s correct thinking.

实质蕴涵是现代逻辑的一个极其重要的概念，但是用实质蕴涵理论来分析和说明自然语言中的假言命题却出现了许多解释不通的问题。

The naissance of material implication greatly produced many controversies,and the paradoxes of implication have always been the focus of those arguments.

实质蕴涵的提出引起学术界极大争议，"蕴涵怪论"一直是争论焦点之一。

Material implication and other truth forms all pursue isolated absolute true or false abstract at the cost of deserting the relativity among the variables.Its essence is taking out original targets of human logic and replacing it with artificial targets.

实质蕴涵乃至其他真值形式都以舍弃变元间相关性为代价，追求变元孤立意义上的绝对真假抽象，其实质是抽掉了人类逻辑本源的对象，代之以人工设计或规定出来的人造对象。

The paradigmatic sort of ontological entailment is necessitation: P necessitates Q when the material conditional PQ is metaphysically necessary, or when it is metaphysically impossible for P to hold without Q holding.

存有上推导的典型类型是'必要性'：当实质蕴涵PQ是形上学必要条件时，或当"持有P但不持有Q是形上学上不可能"时，P使得Q成为必要物。

If qualia are intrinsic or non-intentional, this will be a substantive rather than a definitional point (so the claim that the properties of consciousness are nonintrinsic or that they are wholly intentional should not be taken to entail that there are no qualia).

如果感受质是固有的或非意向的，这会是实质的而不是定义的（所以，主张&意识的属性是非固有的或都是意向的&不会被认为蕴涵&不存在感受质&。

The paper starts from the implication and emphasizes its functions in reasoning by illustrating the truth-value condition of material implication.

本文从实质蕴涵所含义入手，通过对&实质蕴涵&真值条件的说明，强调其在推理中的重要作用。

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。