查询词典 particular proposition

The disc reproduction device further includes: storage means divided into a first area for storing at least one audio data of a particular length of at least one track and a second area for storing remaining audio data of the one track; write-in means for accessing the disc, writing the audio data of the particular length starting at an arbitrary position of the one track in the first area, and writing the remaining audio data in the second area during reproduction of the audio data of the particular length; and read-out means for continuously reading out the audio data of the particular length and the remaining audio data.

所述盘再现设备还包括：存储装置，其分为第一区域，用于存储至少一个道存储的特定长度的至少一个音频数据，和第二区域，用于存储一个道的剩余数据；写入装置，用于访问盘，在对特定长度的音频数据进行再现期间，将一个道的任意位置处开始的特定长度的音频数据写到第一区域，并且将剩余的音频数据写到第二区域；和读出装置，用于连续读出特定长度的音频数据和剩余的音频数据。

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公式中有一个通过了验证，则可得出该系统属性是一个空属性。

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

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

We are forbidden from giving money to these shoeless, skinny children, as this will perpetuate begging.

向光着脚，骨瘦如柴的孩子施舍是不可以的，因为要招来无休无止的乞讨。

It would be hard not to fall victim to some sharpeyed policeman.

要想不被某个目光锐利的警察抓到，谈何容易。