也叫“指派”。逻辑语义学基本概念之一。在解释内给具体表达式以确定的对象。在命题逻辑中，通常指把某个真值(真或假)赋予一个命题的所有原子命题。赋值时相反的真值不能同时赋予某个原子命题。如以V表示一个任意的赋值，以“1”表示真，以“0”表示假，p为命题，那么v(p)=1表示在某赋值中p是真的，v(p)=0表示在某赋值中p是假的。
赋值(语言)
赋值(语言)：
- 欢迎来到文学网！
中介成分体系(语言)：在外汉机器翻译中用于标记相关分析的结果的一套特殊的句子成分体系。该体系主要从三个方面标记源语分析和源语目的语转换的信息：⑴标出源语的句子成分。成分的划分原则与传统语法基本一致。⑵标出源..
真值形式(语言)：依据一定的规则，由真值联结词与真值变项结合而成的表达式。它是复合命题形式的抽象。数理逻辑中常用的五种基本真值形式是：⑴否定式：p。⑵合取式：pq。⑶析取式：pvq。⑷蕴涵式：p→q。⑸等值式：p←→q。其中，p和q..
形式系统(语言)：形式化了的公理系统。它包括以下三个部分：⑴形式语言。规定一个形式语言，首先要列出各科初始符号，它们是形式语言的字母，其中一部分是初始概念，包括逻辑概念；然后再列出一组形成规则，形成规则规定怎样由初始符..
媒介语(语言)：也叫“中介语”。指人们设想的在全球统一的多对多机器翻译系统中起中介作用的语言。各民族采用统一的机器翻译媒介语时，源语分析和目的语生成都只与媒介语打交道，即把源语分析转换为媒介语，再把媒介语转换生..
真值函项(语言)：也叫”真值函数”。定义域和值域都为真值的函项。如果一个变元的任意一个允许值，另一变元总有一个确定的值与之对应，那么后者(称为应变元)就是前者(称为自变元)的函数。真值函项的个数由真值函项中所含的..