命题

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.

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

For another, reduced-space approaches allow to exploit problem-dependent structure and approximate second derivative information.

简约空间方法适合过程系统优化命题的高维、低自由度特征，并可利用问题结构和近似二阶信息求解，是该类优化命题的良好求解途径。

Based on this analysis, we then made a teaching assumption to get rid of such kind of thinking barrier, ie."Symbolizing the propositions in everyday life and finding dual proposition according to symbolic rule will enhance students' understanding of the argument principle of proof by contradiction."

进一步提出克服此种思维限制以发展逻辑思维的教学假设─「将生活情境中命题的真伪关系符号化，利用符号规则推理再转译回生活命题，可增进学生对反证法论证原理的了解」，并据以发展教案进行探究性教学。

There is a wrong opinion that a state of thing corresponds to the atomic proposition in the propositional logic.

学界有种观点认为，基本事态对应着命题逻辑的原子命题，这种观点是错误的。

In this solution, to check the vacuity of the CTL formula, it is not necessary to substitute all of its sub-formulae by TRUE or FALSE, but instead, it is enough to substitute its atomic proposition, and thus the number of times for checking is linear with the number of atomic propositions.

该方法对CTL公式的空属性的探测不需要对它的所有子公式用TRUE 或FALSE替换，只需对原子命题替换，这样检验的次数与原子命题的个数呈线性关系。

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.

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

Cohen interprets the moral grounds of the thesis of self-ownership in intuitional level and theoretical level. In term of intuitional level, firstly, Nozick makes use of moral intuition of moral agent's aversion to slavery, asserting that rejection of the thesis of self-ownership is tantamount to endorsement of slavery. Secondly, Nozick makes uses of moral intuition of people's not permitting others'deploying any part of one's own body by coersion, asserting that rejection of the thesis of self-ownership is tantamount to endorsement of redistribution of bodily organs.

就直觉层面而言，柯亨认为，第一，诺齐克利用道德主体厌恶奴隶制这种道德直觉，断言拒绝自我所有命题就意味着对奴隶制的认可；第二，诺齐克利用人们决不允许他人强制使用自己身体的任一部分这种道德直觉，断言拒绝自我所有命题就等于承认对身体器官的强制再分配。

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.

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

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失