命题动态逻辑是对动作进行刻画和推理，并在此基础上进行规划求解的一种有效工具。
对二值命题逻辑系统的程度化研究中命题公式的真度问题进行讨论。
或“物是一个整体”等等，人们既没有考察究竟这些谓词是否具有独立自存的真理，或者是否能够表达真理的正确形式。
它只不过是一种标记，不构成话语的基本语义或命题意义，但却具有丰富的语用效应。
本文认为命题内容和表达方式至多只能决定语言礼貌，不能决定话语礼貌。
新的命题性的知识通过不断增长的科学和工程杂志和百科全书形成的网络得以传播。
54在一般的命题形式中，命题只是作为真值运算基础而出现于别的命题之中。
在二值命题逻辑系统中引入了公式的T-真度概念，并讨论其逻辑运算性质。
因此，充分重视历年考题，有助于把握考试重点以及命题趋向。
为了能够及时有效地检验特征定制结果，提出了以逻辑命题描述的SUSI验证方法。
命题形式是用符号来表示的，但命题形式是不是就是命题的符号化？
给出了相干命题逻辑自然推理系统NR的自动证明算法。
命题变项标示形式概念，命题变项的值标示属于该形式概念的对象。
提出了沥青发泡效果评价指标的建议值，以指导泡沫沥青冷再生技术的工程应用。
求解智能规划问题的一个重要方法即把智能规划问题转化为命题逻辑公式求解。
基于条件概率的思想，在三值逻辑命题中引入条件真度的概念。
描述最一般的命题形式，就是描述逻辑中那个唯一的一般的初始记号。
完美信息流推理不涉及模态概念，理想信息逻辑类似经典命题逻辑。
最好的方法还是打听出命题教师，然后争取旁听其授课。
本课首先将向你介绍符号逻辑的一个分支，即通常认为成为的句子逻辑或命题逻辑。
它们对应一元谓词逻辑，而布尔代数对应于命题逻辑，而多元代数对应于一阶逻辑。
目前，关于同一性陈述的研究主要从下面两个方面进行：一是关于同一性陈述的内容的解释；
1·The proposition and classification of propositional forms are a very complicated problem.
命题及命题形式的分类是一个相当复杂的问题。
2·The intentional realist argument made by symbol computationalists is to show that propositional attitudes with semantic properties are causally efficacious.
符号计算主义的意向实在论论证的要点，是表明具有语义性质的命题态度的因果效力。
3·Stoicism denies anything immaterial and tries to explain the world through propositional logic.
斯多噶学派否认任何非物质的，并试图通过命题逻辑来解释世界。
4·This paper introduces a method for propositional logic calculation.
介绍了命题逻辑演算方法。
5·The concept of revelation in history as an alternative to propositional revelation on the one hand or general revelation on the other did not prove successful.
的概念在历史上的启示作为替代命题的启示一方面或一般性的启示其他没有证明是成功的。