1) statement quantifier
命题量词
2) proposition adverb
命题副词
3) propositional connective
命题联结词
1.
This paper,based on the results that the content of propositional connectives of MP * is complete,proves the contents of propositional connectives of the following four 3 valued logical systems are complete, they are L * 3 (Lukasiwicz, P * 3 (Post), S * 3 (Slupecki).
本文基于中介命题逻辑的扩张系统 MP*之命题联结词含量的完全性结果 ,进一步证明了 Lukasiwicz三值逻辑系统 L*3 、Post三值逻辑系统 P*3 、Slupecki三值逻辑系统 S*3 和 Woodruff三值逻辑系统 W*3 等的命题联结词的含量也是完全的 。
2.
Comparative Studies of MP and Those 3-Valued Logics with Incomplete Contens of Propositional Connectives with Respesct to Linguistic Expressive Power;
深入讨论各种命题联结词含量不完全的三值逻辑的语言表达能力 ,完全弄明白了三值系统 L3、L△3 、B3、B△3 、K3、K△3 、MP的语言表达能力的等效或不等效关系。
4) proposition quality
命题质量
1.
The proposition quality control of higher education examination for self-taught people includes team s quality control of the proposition,proposition technical standard control,proposition assess quality control and proposition secret quality control,etc.
高等教育自学考试命题质量控制包括命题队伍质量控制、命题技术标准控制、命题评估质量控制和命题保密质量控制等。
5) quantified statement
量化命题
6) propositional variable
命题变量
补充资料:存在量词
存在量词
existential quantifier
存在且词【e汕众砚目甲翻‘衡,ey川eeT的皿u。:K皿。-Topl 用来构造命题的一种逻辑运算,表示“对某个x"(“存在一个x满足”).在形式语言中,存在量词被记作日x,(日x),口、,v、,艺工 B .E .fl二“cKo撰
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条