也叫“逻辑句法学”、“逻辑语法学”。研究逻辑形式系统中语言表达式之间关系的科学。它对表达式的研究是独立于任何解释的，只考虑符号的形状和空间排列关系。它要解决的主题是：逻辑形式系统中的一个表达式是按什么规则组成的。它规定用形式化方法构造形式系统的程序。如它提出形式化语言的形成规则，以确定什么样的符号串是合式语句，提出形式化语言的变形规则，以确定什么样的合式语句能推出什么样的合式语句。它还研究形式系统结构的一致性、完全性、独立性等语法特性，并以此作出对形式系统语法功能的评价。
否定式(语言)：用否定真值联结词””联结命题组成的真值形式。否定式一般记为p，读为”并非p”，其中p是被否定的命题，称为否定支。一个否定式为真，当且仅当，其否定支为假。否定真值联结词可用真值表来定义： 由真值表可知，否定..
逻辑代数(语言)：也叫“布尔代数”。一种代数化的逻辑。是用代数公式表示逻辑关系，把代数方法应用于逻辑研究的结果。由英国数学家布尔(George Boole)于1850年前后首创。就其抽象的数学形式说，逻辑代数已发展成为格论的分..
赋值(语言)：也叫“指派”。逻辑语义学基本概念之一。在解释内给具体表达式以确定的对象。在命题逻辑中，通常指把某个真值(真或假)赋予一个命题的所有原子命题。赋值时相反的真值不能同时赋予某个原子命题。如以V表示一..
中介成分体系(语言)：在外汉机器翻译中用于标记相关分析的结果的一套特殊的句子成分体系。该体系主要从三个方面标记源语分析和源语目的语转换的信息：⑴标出源语的句子成分。成分的划分原则与传统语法基本一致。⑵标出源..
真值形式(语言)：依据一定的规则，由真值联结词与真值变项结合而成的表达式。它是复合命题形式的抽象。数理逻辑中常用的五种基本真值形式是：⑴否定式：p。⑵合取式：pq。⑶析取式：pvq。⑷蕴涵式：p→q。⑸等值式：p←→q。其中，p和q..