指从一些初始概念和公理出发，根据演绎法推演出一系列定理从而构成的系统。公理系统要满足某些一般要求，包括系统的一致性(无矛盾性)、完全性和范畴性，以及公理的独立性。公理系统一般可区分为古典公理系统和现代公理系统。如古希腊数学家欧几里得(Euclid)在《几何原理》一书中建立的几何公理系统是古典公理系统，德国数学家、逻辑学家希尔伯特于1899年在《几何基础》一书中推出的是现代公理系统。现代公理系统也称形式公理系统。参见“公理化方法”。
矛盾式(语言)：也叫”永假式”、”不可满足式”。常假的真值形式。不论其中变项代表什么命题，取什么值，矛盾式的真值总是假的。一个真值形式是否矛盾式，可用真值表方法判定。例如：”pp”是否矛盾式，可用下列真值表判定： 在逻..
以语义为主的机器翻译系统(语言)：第三代机器翻译系统。产生于本世纪七十年代以后，目前正处于探索阶段。其特点是：⑴引入语义平面，以语义转换为中心。如采用*优选语义学来分析语言，源语分析和目的语转换都不必经过形态分析..
算子(语言)：也叫“算符”。逻辑、数学和物理学中对某些变换(映射)或运算的称呼。如在命题逻辑中，、、V、→、←→等分别称为否定算子、合取算子、析取算子、蕴涵算子和等值算子；在模态逻辑中，通常把□或L称为必然算子，◇或..
以句法为主的机器翻译系统(语言)：第二代机器翻译系统。产生于本世纪六十年代以后，是目前世界上广泛采用的机器翻译系统。其特点是：⑴以句法转换为中心，首先用代码化的结构标志来标记源语文句的结构，再把源语的结构标志转换..
真值联结词(语言)：指表示复合命题与支命题之间的真假关系的联结词。它是仅抽取命题之间真假关系、撇开其他联系而获得的命题逻辑联结词。数理逻辑中常用的五个基本真值联结词是：否定词(并非……)、合取词(……并且……)..