查询词典 proposition

Analytic proposition: a proposition whose predicate concept is contained in its subject concept; e.g.,"All bachelors are unmarried," or, All bodies take up space.

" 分析命题：谓词概念包含于主词概念之中；例如，"所有单身都未婚"或"所有物体都占空间。

Although it is not tautology of analytic proposition,it is a priori knowledge.So we can say Leibniz has putforwards the a priori synthetic proposition before Kant in an unclear way.

而原始的事实真理的提出则是莱布尼茨超越近代的直觉学说的地方，这种原始的事实真理不是同义反复的分析命题（至少对于人的有限的心智而言不是），而又具有某种直接的先验性，可见莱布尼茨已先于康德以一种不十分明显的方式提出了先天综合判断的问题。

Analytic proposition: a proposition whose predicate concept is contained in its subject concept; e.g.,"All bachelors are unmarried," or, All bodies tak e up space.

" 分析命题：谓词概念包含于主词概念之中；例如，"所有单身都未婚"或"所有物体都占空间。

On the basis of investigating analytic proposition and synthetic proposition, the paper gives some comments on Quine's critique on distinction of the two propositions, illustrating that Quine's critique cannot deny their distinction and only show they are two typical fuzzy conceptions, so we should grasp the dialectical mechanism of their relative distinction and inter-permeation by fuzzy thinking methods.

在考察分析命题与综合命题的基础上，对奎因分析命题与综合命题之区分的批判进行了评述，说明奎因的批判并不能否认分析命题与综合命题的区分，而只是表明了"分析命题"与"综合命题"是两个典型的模糊概念，因而需要运用模糊思维方法去把握它们既相对区分又相互贯通的辩证机理。

The preordained frangibility of the hymen: the presupposed intangibility of the thing in itself: the incongruity and disproportion between the selfprolonging tension of the thing proposed to be done and the selfabbreviating relaxation of the thing done; the fallaciously inferred debility of the female: the muscularity of the male: the variations of ethical codes: the natural grammatical transition by inversion involving no alteration of sense of an aorist preterite proposition (parsed as masculine subject, monosyllabic onomatopoeic transitive verb with direct feminine object) from the active voice into its correlative aorist preterite proposition (parsed as feminine subject, auxiliary verb and quasimonosyllabic onomatopoeic past participle with complementary masculine agent) in the passive voice: the continued product of seminators by generation: the continual production of semen by distillation: the futility of triumph or protest or vindication: the inanity of extolled virtue: the lethargy of nescient matter: the apathy of the stars.

671处女膜先天的脆弱性，物体本身预先假定的不可触性。为了达到目的而自我延长的那份紧张以及完成之后的自我缩短与松弛，这二者之间既不调和也不均衡。女性之虚弱及男性之强韧乃基于谬误的臆测。道德的准则是可变的。自然的语法转换：在不引起意思变动的情况下，由主动语态不定过去式命题（从语法上分析：男性主语，单音节拟声及物动词，女性直接宾语）转位到相关的被动语态不定过去式命题：3）（从语法上分析：女性主语，助动词与准单音节拟声过去分词，男性主动补语）。借着生殖，不断地生产播种者们。借着酿造来连续地生产精液。胜利也罢，抗议也罢，复仇也罢，都是徒劳的。对贞操的颂扬煞是无聊。无知觉的物质毫无生气。星辰之情感淡漠。

Hypothetical reasoning is a reasoning that premise has a proposition and bases on the rela- tion of proposition of protasis and apodosis to made a conclusion.

假言推理是前提中有一个为假言命题，并且根据假言命题前件与后件之间的关系而推出结论的推理。

From the polarity of atomic proposition, a series of CTL formulae is derived by substituting the atomic proposition with TRUE or FALSE, before they are verified by model checking tools. If one of the CTL formulae has passed the verification, then it is concluded that the system property is a vacuity.

根据原子命题的极性，用TRUE 或FALSE替换原子命题，得到一系列的CTL公式，再对这些CTL公式用模型检验工具验证，若CTL公式中有一个通过了验证，则可得出该系统属性是一个空属性。

Only fundament proposition is to be traditional categorical proposition, can socalled"antisyllogism" be valid.

所谓"反三段论"，只有当其中的基础命题为传统直言命题时才有效。

Declarative sentence or a combination increases the tone of voice of doubt the word "you","bar", etc., the general proposition of the whole of the doubt, the answer is a simple proposition for the whole of the positive and negative.

陈述句加疑问语调或兼用语气词"吗"、"吧"等构成，一般是对整个命题的疑问，回答也是对整个命题的简单的肯定和否定。

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的实际真值通过某种真值运算(二值逻辑中用"实质蕴涵"，模糊逻辑中有众多的"蕴涵算子")而求得。我们称这种求蕴涵型复合命题真值的方法为逻辑方法。

Objective To investigate the effects of interleukin-1 β converting enzyme gene on the biologic characteristics of ovarian cancer cells.

目的 探讨白细胞介素-1 β转换酶的表达，对卵巢癌细胞生物学特性的影响。

Campylobacter: This illness is the most commonly identified cause of diarrheal illness in the world.

弯曲：这种病是最常见的原因查明腹泻病，在世界上。