范式

出处:按学科分类—语言、文字 江西教育出版社《中国语言学大辞典》第677页(238字)

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

分享到: