命题联结词,propositional connective,音标,读音,翻译,英文例句,英语词典

您的位置：首页 -> 词典 -> 命题联结词

1) propositional connective 点击朗读

命题联结词

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 等的命题联结词的含量也是完全的。

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的语言表达能力的等效或不等效关系。

更多例句>>

2) proposition adverb 点击朗读

命题副词

3) statement quantifier 点击朗读

命题量词

4) propositional association 点击朗读

命题联想

5) conjunctive proposition 点击朗读

联言命题

The research based on sentences expressed by conjunctive proposition, aimed at solving why the conjunctive proposition that depend on the same logic can perform differently in forms of language.

联言命题中肢命题间的关系为合取关系,表达合取关系的语句主要集中在传统的复句中,同时也有一部分单句。

6) propositional structure 点击朗读

命题结构

This paper bases its discussion of redundancy and brevity in translation on an analytical look at the interaction between propositional structure and lexical-syntactic structure.

本文通过分析命题结构和句法结构之间的互动关系,探讨了翻译中语言冗余和经济的对立统一关系,指出妨碍目的语行文流畅性的冗余信息是减词的动因。

更多例句>>

补充资料：命题联结词

命题联结词
prepositional connective

　　那么否定可视为缩写:，A哈幼(A。土). 在经典逻辑中命题联结词%26，V，。和门不是独立的，因为以下等价式成立: A%26B三，(门AV门B)兰门(A。门B)(2) A VB三门(门A%26门B)三(门A OB)兰兰((A OB)。B)，(3) A OB二(，A VB)二门(A%26门B).(4)这样，命题联结词%26，V，习中每一个都可以用，和其余之一表示.因此，在确切地表达经典命题演算(proPositio几al calculus)表达式时，可以选取两个命题联结词作为基本联结词:门和%26，V，，中之一;其他联结词据(l)一(4)视为缩写.在直觉主义逻辑中，%26，V，。和门是独立的.C.K.C涌oJIe。撰[补注l命题联结词[，叨”51‘犯目e阅nec咖e;npono3.u.o。:.月‘“a“c.，3Ka』形式语言(forrr以lla列多坦ge)中用于表示逻辑运算(logical operation)的符号，用它们可以从给定语句得到新语句.最重要的命题联结词是:合取%26(或八)，析取V，蕴涵“(或~，或”)，否定，(或一)以及等价“(或~~，或咨今).这些命题联结词在汉语中与词句“并且”，“或”，“蕴涵”，“不真”以及“等价于”相对应.有时考虑其他命题联结词，例如S恤月陌r竖(Sheffer stroke). 符号二通常不作独立的命题联结词引人，而是作为缩写: A三B碍月加((A OB)%26(B OA)).(1) 如果一个语言包含表示“不真”的命题常元上，
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。

参考词条

命题态度动词命题意向谓词词汇结构题介词结构题联想-命题评价

命题结论联结词字词联结词汇联结联结问题微命题结构

说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
	您的位置：首页 -> 词典 -> 命题联结词 1) 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三值逻辑系统 L3 、Post三值逻辑系统 P3 、Slupecki三值逻辑系统 S3 和 Woodruff三值逻辑系统 W3 等的命题联结词的含量也是完全的。 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的语言表达能力的等效或不等效关系。更多例句>> 2) proposition adverb 命题副词 3) statement quantifier 命题量词 4) propositional association 命题联想 5) conjunctive proposition 联言命题 1. The research based on sentences expressed by conjunctive proposition, aimed at solving why the conjunctive proposition that depend on the same logic can perform differently in forms of language. 联言命题中肢命题间的关系为合取关系,表达合取关系的语句主要集中在传统的复句中,同时也有一部分单句。 6) propositional structure 命题结构 1. This paper bases its discussion of redundancy and brevity in translation on an analytical look at the interaction between propositional structure and lexical-syntactic structure. 本文通过分析命题结构和句法结构之间的互动关系,探讨了翻译中语言冗余和经济的对立统一关系,指出妨碍目的语行文流畅性的冗余信息是减词的动因。更多例句>> 补充资料：命题联结词命题联结词 prepositional connective 　　那么否定可视为缩写:，A哈幼(A。土). 在经典逻辑中命题联结词%26，V，。和门不是独立的，因为以下等价式成立: A%26B三，(门AV门B)兰门(A。门B)(2) A VB三门(门A%26门B)三(门A OB)兰兰((A OB)。B)，(3) A OB二(，A VB)二门(A%26门B).(4)这样，命题联结词%26，V，习中每一个都可以用，和其余之一表示.因此，在确切地表达经典命题演算(proPositio几al calculus)表达式时，可以选取两个命题联结词作为基本联结词:门和%26，V，，中之一;其他联结词据(l)一(4)视为缩写.在直觉主义逻辑中，%26，V，。和门是独立的.C.K.C涌oJIe。撰[补注l命题联结词[，叨”51‘犯目e阅nec咖e;npono3.u.o。:.月‘“a“c.，3Ka』形式语言(forrr以lla列多坦ge)中用于表示逻辑运算(logical operation)的符号，用它们可以从给定语句得到新语句.最重要的命题联结词是:合取%26(或八)，析取V，蕴涵“(或~，或”)，否定，(或一)以及等价“(或~~，或咨今).这些命题联结词在汉语中与词句“并且”，“或”，“蕴涵”，“不真”以及“等价于”相对应.有时考虑其他命题联结词，例如S恤月陌r竖(Sheffer stroke). 符号二通常不作独立的命题联结词引人，而是作为缩写: A三B碍月加((A OB)%26(B OA)).(1) 如果一个语言包含表示“不真”的命题常元上，　　说明：*补充资料仅用于学习参考，请勿用于其它任何用途。参考词条命题态度动词命题意向谓词词汇结构题介词结构题联想-命题评价

©2011 dictall.com