也叫”永假式”、”不可满足式”。常假的真值形式。不论其中变项代表什么命题，取什么值，矛盾式的真值总是假的。一个真值形式是否矛盾式，可用真值表方法判定。例如：”pp”是否矛盾式，可用下列真值表判定：
在逻辑推理中，常常用到矛盾式。如归谬律”(q→(pp)→q)”意指，如果从前提q可推出矛盾式pp，那么可以否定前提q，得q。
矛盾式(语言)
矛盾式(语言)：
- 欢迎来到文学网！
以语义为主的机器翻译系统(语言)：第三代机器翻译系统。产生于本世纪七十年代以后，目前正处于探索阶段。其特点是：⑴引入语义平面，以语义转换为中心。如采用*优选语义学来分析语言，源语分析和目的语转换都不必经过形态分析..
算子(语言)：也叫“算符”。逻辑、数学和物理学中对某些变换(映射)或运算的称呼。如在命题逻辑中，、、V、→、←→等分别称为否定算子、合取算子、析取算子、蕴涵算子和等值算子；在模态逻辑中，通常把□或L称为必然算子，◇或..
公理化方法(语言)：现代逻辑的基本方法。把一个科学理论公理化，就是用公理方法研究它，建立一个公理系统。每一科学理论都是由系列的概念和命题组成的体系，公理化的实现就是：⑴从它的诸多概念中挑选出一组初始概念，而不加定义..
真值联结词(语言)：指表示复合命题与支命题之间的真假关系的联结词。它是仅抽取命题之间真假关系、撇开其他联系而获得的命题逻辑联结词。数理逻辑中常用的五个基本真值联结词是：否定词(并非……)、合取词(……并且……)..
形式化方法(语言)：现代逻辑的基本方法。把一个理论形式化就是把理论中的概念转换为形式语言中的符号，命题转换为符号公式，定理的推演转换成符号公式的变形，并把一个证明转换成符号公式的有穷序列。由于形式语言的符号和它..