命题逻辑

Fuzzy logic ; proposition calculus ; accessible α+ tautology ;α contradiction ; upgrade algorithm ; partition

模糊逻辑；命题演算；可达α~+-重言式；α-矛盾式；升级算法；分划

126 One can calculate whether a proposition belongs to logic, by calculating the logical properties of the symbol.

当我们"证明"一个逻辑命题时，就是这样做的。

In mathematics, a logical statement that involves three propositions : the major premise, minor pre-mise and conclusion.

在数学中，含有三个命题的一类逻辑陈述。

Material implication is an extremely important concept of modern logic,but we encountered a lot of problems as we attempted to analyze and explain the hypothetical proposition of natural language with material implication ,this situation obstructs the aim of logic norm and people s correct thinking.

实质蕴涵是现代逻辑的一个极其重要的概念，但是用实质蕴涵理论来分析和说明自然语言中的假言命题却出现了许多解释不通的问题。

It is surely plausible to suppose that there are logically possible propositions which outstrip our powers of conception.

可以合理假设存在逻辑可能的命题但超出我们的概念能力。

In this paper we give two proofs for a proposition in Quantum Logic.

我们给出了量子逻辑中的一个命题的两种证明。

In 1879, the publication of ""Concept Writing"" marks the foundation of propositional calculus and the predicate calculus —— the basic part of mathematical logic.

1879年《概念文字》的出版，标志着数理逻辑的基础部分——命题演算和谓词演算正式建立。

This paper works on propositional logic system in Computer Logic.

本论文研究了计算机数理逻辑中的命题演算部分内容。

This paper presents a method for model checking Propositional Projection Temporal Logic formulas based on SPIN.

本文提出了一种基于命题投影时序逻辑的模型检查方法。

First order logic is a most important concept in the field of propositional logic.

而一阶谓词逻辑化为其前束范式是命题演算的重要步骤。

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.

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