1) propositional logic calculation
命题逻辑演算
1.
This paper introduces a method for propositional logic calculation.
介绍了命题逻辑演算方法。
2) Medium Logic Propositional Calculus
中介逻辑命题演算
3) Proposition Logic
算子命题逻辑
1.
An Operator Proposition Logic System and Inference Algorithm of Petri Net;
一种算子命题逻辑系统及其T-不变量推理算法
4) proposition logic
命题逻辑
1.
The definition of truth degree in the classic two-valued proposition logic formula is populared to the uneven probability space whose power is 2,and two-valued logic(p,q) measure and its proposition probability truth degree are defined.
将经典二值命题逻辑中公式的真度概念推广到势为2的概率空间上,定义了二值逻辑(p,q)测度和其上命题的概率真度;在〔1/3,2/3〕的情形下证明了全体公式的概率真度之集在[0,1]中是稠密的,并给出了公式概率真度的表达通式。
2.
Aiming at the problem that there exists very complicated and a large amount of component constraints,an algorithm of component constraint detection based on proposition logic was proposed,in which the proposition in daily diction was transformed into the formal proposition of mathematical logic via the process of proposition symbolization,i.
针对组件约束数量大、复杂度高的问题,提出了一种基于命题逻辑的组件约束检测算法。
3.
In the viewpoint of proposition logic and based on extension theory,a new method for proposition representation is proposed.
从命题逻辑的角度 ,以可拓论为基础 ,建立了命题表示的一种新方法 ,提出了物元命题、事元命题和事物元命题的概念 ;指出物元命题与关于对象的陈述型命题相对应 ,事元命题和事物元命题与关于行为、事件的行为型命题相对应 ;探讨了命题的可拓性和可拓变换方法 ;给出了基于可拓集合的命题可拓集的概念 。
5) logical connection proposition
逻辑命题
1.
The highest level logic,or rather,the second level logic deals with logical connection proposition which is the highest grade proposition.
同时互逆主义逻辑的多层逻辑思想揭示了各类命题之间的内在关系,最高层即二层逻辑主要用于处理最高级别的逻辑命题,这是经典逻辑所不具备的功能。
2.
In other words, the logical connection proposition is composed of empirical mathematical connection propositions and the connective.
命题又可分为不同的层次,高层命题由低层命题构成,即逻辑命题由经数命题加联符构成,经数命题由事实命题加联符构成,事实命题由项构成。
6) propositional logic
命题逻辑
1.
The Generalized Tautology in Disturbing Fuzzy Propositional Logic System;
扰动模糊命题逻辑系统中的广义重言式
2.
Tense operators E(ever)and F(will)as well as their dual operators H(ever always be) and G(will always be) were introduced into lattice-valued propositional logic system LP(X), forming a lattice-valued tense propositional logic system LTP(X).
在格值命题逻辑系统LP(X)中引入时态算子E(曾经)和F(将会)以及它们的对偶算子H(曾经总是)和G(将会总是),建立了一个以时轴为语境的格值时态命题逻辑系统LTP(X)。
补充资料：逻辑演算
用形式化方法处理逻辑推理，特别是数学中所用推理。由于形式化了的推理过程与代数演算具有相似性,故也称之为逻辑演算。这类推理的正确性仅依赖于它们的形式,而与内容无关,例如三段论法。在这里，概念、推理等被分解为最基本的元素，推理过程被表示为由开始公式出发根据某些具体规则而做的形式变形。
逻辑演算的思想，也就是数理逻辑最初的思想，首先由 G.W.莱布尼茨明确提出，又经 G.布尔、（F.L.）G.弗雷格、B.A.W.罗素和A.N.怀特海等加以发展和完善。现代数理逻辑的研究已远远超出了逻辑演算的范围而发展成为四个主要分支──模型论、公理集合论、递归论和证明论。
由于形式推理在公理化数学中用得最多，表达得也最精确，因此逻辑演算的主要内容就是数学公理系统的形式化。形式化了的公理系统称为形式系统。一般说,形式系统是由它的语言、公理和推理规则三部分构成。
形式系统的语言一般采用人工语言。首先要规定语言的符号。符号的有穷序列（允许一个符号在序列中重复出现）称为一个表达式。正如自然语言中并非所有字母的序列都是句子一样，并非所有的表达式都有意义。人们希望指出有意义的那部分表达式，称之为公式。但判别一个表达式是否为公式的标准，并不是根据它们的意义而是根据某些确定的形式规则，因此称之为形成规则。形成规则表明，语言中的符号依什么样的规律排列才形成公式，即语言中某一符号的序列是否为公式是可以依照形成规则机械地检查的。形式系统的语言也称为形式语言。
形式系统中的公理需满足的惟一条件是它是该系统语言中的一个公式。推理规则（简称规则）陈述如何由有穷个确定的公式（称为规则的假设）得到某一确定的公式(称为规则的结论)。公理和推理规则一经确定，系统的全部定理就完全确定了。因为系统的定理通常是这样定义的：①所有公理是定理；②若形式系统推理规则的假设都是定理，则它的结论也是定理。因此，形式系统的一个公式是否是它的定理也是可以机械地检查的。
由以上说明可知，一个形式系统是由它的符号、表达式及其排列规则等完全确定了的。虽然每个形式系统都有逻辑推理系统或数学公理系统作为它的背景，即形式系统可以被解释为逻辑推理或某个数学结构，但是形式系统的解释或意义并不被认为是形式系统的一部分。这就使得形式系统本身成为一个纯语法的对象。把公理、定理等作为形式语言中的公式、句子研究，称为公理系统的语法研究。
形式系统的解释或意义称为语义。例如形式系统中的公式或句子在某个数学结构或模型中的真假性就是一个语义性质。
在数理逻辑中，建立形式系统的主要目的在于将通常所说的"形式的"思维、公理系统的"形式化"等概念精确化，使得数学中的语言、推理与数、形、方程式等一样成为数学研究的对象。对形式系统可以进行严格的数学处理，讨论其性质，包括语法与语义的性质，得出关于形式系统的一般结论。例如勒文海姆－斯科朗定理(见模型论)。哥德尔完备性定理（见一阶逻辑）及哥德尔不完备性定理等都是关于形式系统性质的定理。又如希尔伯特第 1问题即连续统假设问题的研究就是在集合论公理系统形式化的基础上才廓清了问题，并取得了进展。因此，数理逻辑中对形式系统的研究也给数学研究开辟了新的途径。
那种认为建立逻辑演算的形式系统是为了进行形式思维，或者为了形式地证明数学定理的想法，是对于数理逻辑的研究对象和目的的一种误解。
另一方面，数理逻辑中形式化的概念和方法对于编制计算机程序、建立计算机语言以及试图系统地用计算机证明定理也是有用的。
对于不同类型的推理可以构造不同的逻辑演算的形式系统,其中主要有命题逻辑、一阶逻辑、高阶逻辑、模态逻辑、构造逻辑和无穷逻辑等。
参考书目
J.R.Shoenfield,MatheMatical Logic,Addison-Wesley,Reading Mass.,1967.
希尔伯脱、阿克曼著，莫绍揆译：《数理逻辑基础》，科学出版社,北京,1958。(D.Hilbert und W.Ackermann,Grundz╇ge der Theoretischen Logik,3 Aufl,Sprin-ger-Verlag,Berlin, 1949.)
王浩著：《数理逻辑通俗讲话》，科学出版社，北京，1981。
逻辑演算的思想，也就是数理逻辑最初的思想，首先由 G.W.莱布尼茨明确提出，又经 G.布尔、（F.L.）G.弗雷格、B.A.W.罗素和A.N.怀特海等加以发展和完善。现代数理逻辑的研究已远远超出了逻辑演算的范围而发展成为四个主要分支──模型论、公理集合论、递归论和证明论。
由于形式推理在公理化数学中用得最多，表达得也最精确，因此逻辑演算的主要内容就是数学公理系统的形式化。形式化了的公理系统称为形式系统。一般说,形式系统是由它的语言、公理和推理规则三部分构成。
形式系统的语言一般采用人工语言。首先要规定语言的符号。符号的有穷序列（允许一个符号在序列中重复出现）称为一个表达式。正如自然语言中并非所有字母的序列都是句子一样，并非所有的表达式都有意义。人们希望指出有意义的那部分表达式，称之为公式。但判别一个表达式是否为公式的标准，并不是根据它们的意义而是根据某些确定的形式规则，因此称之为形成规则。形成规则表明，语言中的符号依什么样的规律排列才形成公式，即语言中某一符号的序列是否为公式是可以依照形成规则机械地检查的。形式系统的语言也称为形式语言。
形式系统中的公理需满足的惟一条件是它是该系统语言中的一个公式。推理规则（简称规则）陈述如何由有穷个确定的公式（称为规则的假设）得到某一确定的公式(称为规则的结论)。公理和推理规则一经确定，系统的全部定理就完全确定了。因为系统的定理通常是这样定义的：①所有公理是定理；②若形式系统推理规则的假设都是定理，则它的结论也是定理。因此，形式系统的一个公式是否是它的定理也是可以机械地检查的。
由以上说明可知，一个形式系统是由它的符号、表达式及其排列规则等完全确定了的。虽然每个形式系统都有逻辑推理系统或数学公理系统作为它的背景，即形式系统可以被解释为逻辑推理或某个数学结构，但是形式系统的解释或意义并不被认为是形式系统的一部分。这就使得形式系统本身成为一个纯语法的对象。把公理、定理等作为形式语言中的公式、句子研究，称为公理系统的语法研究。
形式系统的解释或意义称为语义。例如形式系统中的公式或句子在某个数学结构或模型中的真假性就是一个语义性质。
在数理逻辑中，建立形式系统的主要目的在于将通常所说的"形式的"思维、公理系统的"形式化"等概念精确化，使得数学中的语言、推理与数、形、方程式等一样成为数学研究的对象。对形式系统可以进行严格的数学处理，讨论其性质，包括语法与语义的性质，得出关于形式系统的一般结论。例如勒文海姆－斯科朗定理(见模型论)。哥德尔完备性定理（见一阶逻辑）及哥德尔不完备性定理等都是关于形式系统性质的定理。又如希尔伯特第 1问题即连续统假设问题的研究就是在集合论公理系统形式化的基础上才廓清了问题，并取得了进展。因此，数理逻辑中对形式系统的研究也给数学研究开辟了新的途径。
那种认为建立逻辑演算的形式系统是为了进行形式思维，或者为了形式地证明数学定理的想法，是对于数理逻辑的研究对象和目的的一种误解。
另一方面，数理逻辑中形式化的概念和方法对于编制计算机程序、建立计算机语言以及试图系统地用计算机证明定理也是有用的。
对于不同类型的推理可以构造不同的逻辑演算的形式系统,其中主要有命题逻辑、一阶逻辑、高阶逻辑、模态逻辑、构造逻辑和无穷逻辑等。
参考书目
J.R.Shoenfield,MatheMatical Logic,Addison-Wesley,Reading Mass.,1967.
希尔伯脱、阿克曼著，莫绍揆译：《数理逻辑基础》，科学出版社,北京,1958。(D.Hilbert und W.Ackermann,Grundz╇ge der Theoretischen Logik,3 Aufl,Sprin-ger-Verlag,Berlin, 1949.)
王浩著：《数理逻辑通俗讲话》，科学出版社，北京，1981。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条