查询词典 incorrect proposition

If he is incorrect in the proportions of his figures, Correggio was likewise incorrect.

如果你看到他有意使人物的体形比例不协调，他是要学柯内季欧的风格。

525 It is incorrect to render the proposition '. fx' in the words,'fx is possible ' as Russell does.

5.525 象罗素那样将命题"·fx"译述为"fx是可能的"，是不正确的。

In logic, affirmative comparative sentence is positive proposition,the negative is negative 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公式中有一个通过了验证，则可得出该系统属性是一个空属性。

Chinese traditional virtue is humility and wariness,the compliment and praise to the others should be declination

中国人的传统美德是谦虚谨慎，对别人的恭维和夸奖应是推辞。如

We bought this house on the never-never.

我们以分期付款的方式买下这座房子。