矛盾式

---

也叫”永假式”、”不可满足式”。常假的真值形式。不论其中变项代表什么命题，取什么值，矛盾式的真值总是假的。一个真值形式是否矛盾式，可用真值表方法判定。例如：”pp”是否矛盾式，可用下列真值表判定：

在逻辑推理中，常常用到矛盾式。如归谬律”(q→(pp)→q)”意指，如果从前提q可推出矛盾式pp，那么可以否定前提q，得q。