范式

---

能显示某种重要属性的表达式。数理逻辑中许多公式是等值的，但在表达形式方面常常是很不相同的。通过公式的等值转换，可以为千变万化的公式提供一个统一的表达式，这就是范式。范式能显示不同表达式的一些特性。范式有^*合取范式、^*析取范式和^*前束范式等。合取范式的作用在于显示重言式，析取范式的作用在于显示矛盾式。在命题演算中利用范式可以机械地判定公式的可证性。在谓词演算中，在判定公式的普遍有效性和可满足性时，前束范式可以提供重要的线索。