命题

Then the satisfiability of DTITL is equivalently transformed to the same problem for SFO. Since the decidability of SFO can be transformed to the satisfiability of the propositional interval temporal logic, so SFO is decidable.

利用多个命题变量等价表示有界整数，把SFO的可满足性判定问题等价转换为可判定的命题区间时序逻辑的判定问题。

But the content of a situated thought cannot be fully captured as propositional content: the content as delivered by the situatedness of the thinker essentially extends beyond anything that the mere propositional construal of the content can deliver.27 Because of this, although the over-all form of a transcendental argument might seem to be of a deductively valid argument e.g.

但是a situated thought的内容不能被完全把握为命题内容：内容作为被思者的situatedness给出，本质上超出了对纯粹的命题解释所能给出的内容。

First, this paper, in the field of intrinsic geometry, studies the geometric problems on garment design, as well as applies the frame and semi-geodesic coordinates to prove the fundamental theorem of being a developable surface.

文中首先在内在几何学的层次上，研究了服装设计所涉及的几何学问题，应用标架与半测地坐标方法证明了曲面成为可展面的基本定理，研究了可展面的分类及其性质，考虑到服装三维几何造型的需要，证明了组合式可展面各组成片相切连接条件的命题，作为构造可展面的理论依据，证明了单参数平面族的包络面必为可展面的命题，在此基础上发展出服装几何造型的"刮大白"方法以及相关的三种构造可展面的解析方法。3D→2D的变换是三维服装CAD的重要内容之一，其几何学实质是曲面的定长映射，文中总结了定长映射即可展面在平面上展开的基本准则，在这一准则的指导下，结合服装设计与相关领域的要求，讨论了可展面在平面上展开的解析方法与数字方法，上述内容确立了服装设计几何学的基本框架。

Starting from the traditional theme of disinterested pleasure, it re-evaluates two essential prepositions in the academic discussion of experience of beauty, that is, the necessity of disinterestedness and the undesirable or even damaging role of sensory pleasure. On the basis of these observations, this dissertation goes on to unearth and finally recover the essential factors engaged in the experience of beauty.

本文从对传统的"审美是无功利的快感"这一基础命题的怀疑出发，对命题中的无功利在审美中的必要性问题和感官快感对审美的损害问题重新进行审视和质疑，并在此基础上展开对审美的情感的微观分析和理论推导，将审美的情感中所涉及到的因素清晰化。

Hypothetical plus disjunctive inference takes hypothetical proposition and disjunctive proposition as its premises, out which 12 inference models may be produced.

"假言 +选言推理"是以假言命题和选言命题为前提的组合推理。

When a truth-operation is applied to the results of truth-operations on elementary propositions, there is always a single operation on elementary propositions that has the same result.

对基本命题真值运算的结果再作一次真值运算，其结果总可等同于对基本命题施用某一单独的真值运算。

The hypothetical proposition under necessary conditions ; the Chinese expression and its classification ; the basis of the true or false judgment ; the equivalent expression of the true proposition ; the and - syllogism under necessary conditions

徐州师范大学文学院； 221116；徐州师范大学学报，，编辑部邮箱 2003年 03期必要条件假言命题；汉语表达形式及其分类；判定真假的依据；真命题的等值式；必要条件反三段论

In particular, since it is epistemically irrational to doubt the hinge propositions in question, the implication of the argument that Wright offers is that we can indeed know the denials of skeptical hypotheses on the basis of our knowledge of everyday propositions even though our belief in the former is not evidentially grounded.

特别的，因为对转轴命题的怀疑是认识上非理性的，Wright提供的论证蕴涵，基于我们对日常命题的知道，我们能够知道对怀疑论假说情况的拒绝（——即使我们的信念不是基于证据的）。

In the relevant sense, then, hinge propositions are neither foundational propositions that do not require evidential buttress nor evidentially grounded and herein lies the challenge that they pose.

在相关的意思下，转轴命题不是基础命题，也不是证据上被奠基的（于是不会位于所摆出的挑战中）。

If true, given content-extemalism, no one could refer to brains and vats. So this proposition would be inexpressible. 12 Given externalist commitments with regard to reference, then, this proposition, if genuinely expressible, is false.

如果真，假设内容外在论，就没有人能指出"脑"和"瓮"，因此，这个命题是不可表达的。12】【给定外在论者对所指的承诺，那么这个命题（如果genuinely 表达）就是假的。

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.

也许他们将在壶穴里消失