说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 联结词
1)  connective [英][kə'nektɪv]  [美][kə'nɛktɪv]
联结词
1.
Full-function set of connectives by a computer;
全功能联结词集合的计算机实现
2.
One note for adequate sets of connectives;
全功能联结词集合的一个注记
3.
This paper analyzes the communication of the set of connectives,discusses the relation between the sets of connectives and summarizes some properties of the adequate sets of connectives.
在4个一元16个二元联结词的范围内,给出了由联结词构成的集合的可表出性的概念,处理了联结词集之间的关系并作了一些关于联结词的完全集讨论。
2)  connectives
联结词
1.
By analyzing and discussing all combinations of twenty one-variable and two-variable connectives,we arrived at forty six minimum adequate sets of connectives.
通过分析和讨论20个一元和二元联结词的各种组合,得出46个联结词的极小完全集。
3)  links of words
字词联结
4)  lexical concatenation
词汇联结
5)  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的语言表达能力的等效或不等效关系。
6)  logic connective
逻辑联结词
1.
Based on the idea of "analyze stage by stage,from coarse to minute" in software engineering,the basic models of processing all kinds of logic connectives are defined.
借助于软件工程中"由粗到细,逐层分解"的思想,定义了对各种逻辑联结词进行处理的基本模型。
补充资料:命题联结词


命题联结词
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) 如果一个语言包含表示“不真”的命题常元上,
  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条