命题逻辑

In logic, affirmative comparative sentence is positive proposition,the negative is negative proposition.

从逻辑上讲，肯定比较句是正命题，否定比较句是负命题。

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

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

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

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

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的可满足性判定问题等价转换为可判定的命题区间时序逻辑的判定问题。

The rules of modus ponens are given and the main results of propositional calculus in two-valued logic.

本文利用有补T-范建立了一类Fuzzy命题演算系统，给出了假言推理规则，推广了二值逻辑中命题演算的主要结果，且演算简单方便。

"Logicians distinguish two main types of implication, material and strict. Proposition p materially implies proposition q if and only if the material conditional p q (read "if p then q") is true"

逻辑学家将蕴涵分成实质的和严格的两种主要类型。p命题实质蕴涵q命题，若且唯若实质条件pq为真

465 The logical product of a tautology and a proposition says the same thing as the proposition.

4.465 一个重言式和一个命题的逻辑积，与这个命题说的是同一回事情。

In addition to a theory being logically self-referentially inconsistent, a theory can be inconsistent by virtue of itself denying or implying the contrary of one of its justificatory, semantic, or pragmatic presuppositions. Performative inconsistency derives from the self-referential denial of semantic or pragmatic presuppositions--in other words, a performatively self-falsifying proposition denies a necessary condition if its being meaningfully affirmed.27 The affirmation of a self-stultifying proposition, by contrast, denies one of its justificatory presuppositions.

除了'一个理论能在逻辑上自指不一致'外，一个理论能依据'自己被拒绝'或'内含其辩护性/语义性/语用性预设的反对'而得到不一致；换句话说，如果其被有意义地肯定，则是一个performatively self-falsifying的命题拒绝了一个必要条件。27 （作为对比，对self-stultifying命题的肯定，拒绝了部分其辩护性预设。

Wittgenstein 's view that propositions of logic are tautologies and they say nothing has exercised a great influence on the 20th-century philosophy of logic.

维特根斯坦在《逻辑哲学论》中所提出的逻辑命题是重言、是形式的观点，对于本世纪哲学家们的逻辑观给予了决定性的影响。

Traditional logic is a 2-valued logic, but there are a lot of problems that cannot be solved by it.

传统逻辑是二值的，对诸如未来偶然命题，这种逻辑是解决不了的，这说明传统逻辑具有一定的局限性。

And Pharaoh spoke to Joseph, saying, Your father and your brothers have come to you.

47：5 法老对约瑟说，你父亲和你弟兄们到你这里来了。

Additionally, the approximate flattening of surface strip using lines linking midpoints on perpendicular lines between geodesic curves and the unconditional extreme value method are discussed.

提出了用测地线方程、曲面上两点间短程线来计算膜结构曲面测地线的方法，同时，采用测地线间垂线的中点连线和用无约束极值法进行空间条状曲面近似展开的分析。