命题

The soundness and completeness theorem of this method were proved at last. 5. The a-automated reasoning method based on the a-resolution principle of LP was discussed, the author given a method to describe the set of simple generalized clauses (veriables and non-subregular 1 - IBSFs are only contained) by using a matrix, and translated the a-resolution of two clauses to column operations of this matrix.

最后，证明了该方法的可靠性和完备性； 5、对格值命题逻辑系统LP中基于α-归结原理的α-自动推理方法进行了研究，给出了用符号矩阵表示一类简单的广义子句集合(只含命题变元和非正则1-IESF广义文字)的方法，把α-归结原理转换成矩阵的列变换。

A proposition on which another proposition depends; the antecedent of a conditional proposition .

前提为另外一命题所依赖的命题；先决条件

Logic A proposition on which another proposition depends; the antecedent of a conditional proposition.

前提：为另外一命题所依赖的命题；先决条件

"In logic, a relation that holds between two propositions when they are linked as antecedent and consequent of a true conditional proposition."

在逻辑中，指两个命题被归为真实条件命题的前因与后果时二者之间的关系。

We first show that the contrapositive,,of a conditional statement always have the same true value as .

在这里我们要说一个命题的逆命题和否命题是等价的，在这里读者可以自己证明，在证明这样的问题时，一般只能有真值表进行证明。

A hypothetical syllogism is a syllogism having a conditional statement for one or both of its premises.

定义：前提中包含着假言命题，并且依据假言命题的逻辑性质来进行推演的推理。

This article takes the teaching of conic sections as an example. By designing worksheets, teachers can introduce the historical material about conic sections to students. By way of using Apollonius' definition of parabola, ellipse and hyperbola, teachers can introduce the geometric aspect of "conic section" to students. By using the concept of " latus rectum " in Conics , we can connect "conic sections"-- representation of geometrical aspect, with "the equation of conic sections"-- representation of algebraic aspect to improving insufficiency of text books.

同时本文也试著从历史文本中寻找材料，简单举例说明数学教师可以如何应用这些史料在几何单元教学上，例如三角函数的正余弦定理，最后再以圆锥曲线的正焦弦为例，说明如何利用数学史料於此单元的教学，尤其是阿波罗尼斯的《锥线论》中对圆锥曲线的3个命题，将此3个命题的内容与意涵，尤其是正焦弦在圆锥曲线的几何意义上所扮演的角色，将其适当地融入教学中，将可使学生真正学习圆锥曲线的几何知识，而不再只是代数形式的几何知识。

Through a discussion on the suffix features of miniterm and maxiterm ,this paper offers a suffix calculating approach to miniterm and maxiterm in principal disjunctive normal form,principal conjunctive normal form determined by disjunctive normal form,and conjunctive normal form of propositional formula.

通过极小项和极大项的下标特征的讨论，给出了由命题公式的析取范式、合取范式而确定的主析取范式、主合取范式中的极小项、极大项的下标计算方法，从而简化了由繁杂的命题公式推演或真值计算求主范式的计算过程。

The second, so far as the text is concerned, might be considered as merely a different wording of the first, were it not that the history of the council shows that Wyclif had directly opposed the Scholastic doctrine of "accidents without a subject" as absurd and even heretical (cf, De Augustinis, De re sacramentari, Rome, 1889, II, 573 sqq.), Hence it was the intention of the council to condemn the second article, not merely as a conclusion of the first, but as a distinct and independent proposition; wherefore we may gather the Church's teaching on the subject from the contradictory proposition;"Accidentia panis manent sine subjecto," ie the accidents of bread do remain without a subject.

第二，相对於文而言，可被视为仅仅是一个不同的措辞第一，如果不是被认为安理会历史表明wyclif直接反对学术上的理论，"如果没有意外的一个主题"一样荒谬甚至异端（比照，德奥古斯蒂尼斯，德重sacramentari ，罗马， 1889年第一，二， 573 sqq ），因此这是安理会打算谴责第二篇文章，而不是仅仅作为一种结论的第一，但作为一个独特和独立命题；哪，我们可以搜集教会的教学主题，从相互矛盾的命题"； accidentia潘尼斯manent正弦subjecto "，即事故的面包做的仍然是一个课题。

In fact,it is possible to exert conversion on O-proposition in conversion by contraposition inference which takes the premise by the universal proposition .

本文通过欧拉图我们可以证明以全称命题为前提的换质位法推理中O命题是能够换位的。

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.

也许他们将在壶穴里消失