指表示复合命题与支命题之间的真假关系的联结词。它是仅抽取命题之间真假关系、撇开其他联系而获得的命题逻辑联结词。数理逻辑中常用的五个基本真值联结词是：否定词(并非……)、合取词(……并且……)、析取词(……或者……)、蕴涵词(如果……那么……)和等值词(……当且仅当……)，一般用、、V、→和←→等逻辑符号表示。其中除否定词是一元联结词外，其他都是二元联结词。
真值联结词(语言)
真值联结词(语言)：
- 欢迎来到文学网！
机器翻译(语言)：指利用计算机自动翻译自然语言。它以语言学、数学和计算机科学为基础：语言学家提供适合于计算机加工的词典和语法规则，数学家把语言学家提供的材料形式化、代码化，计算机科学家给机器翻译提供软件手段和硬..
数理逻辑(语言)：①也叫“符号逻辑”、“现代形式逻辑”。一门以研究推理规律为核心内容并具有数学性质的工具性学科。一方面是由于在研究中广泛地使用了人工的符号语言，并发展为使用一种形式化的公理方法，同时也应用了某..
优选语义学(语言)：用于机器翻译的一种语义学理论。该理论运用五种语义单位来描写从单词、句子到段落的语义。*语义元素是最基本的语义单位。由语义元素构成义式，用于描写单词的语义。如“审问”一词的义式可写为：审问→..
语义元素(语言)：也叫“语义因子”、“语义基元”。构成复合概念的基本概念。选择语义元素的原则是：⑴它的数目应是有限的；⑵应适合于表达各种复合概念；⑶语义元素之间应是彼此独立的；⑷语义元素之间不能循环定义；⑸语义元素..
形式文法(语言)：用于生成语言中的合格句子，并排除不合格句子的一套数目有限的规则的集合。它山初始符号S、非终极符号VN、终极符号VT和改为规则P四个部分组成，记为：G=(VN，VT，S，P)。句子的生成，表现为从初始符号开始，反复应用改..