析取范式
书籍:逻辑百科辞典
支命题都是简单合取的析取式。所谓简单合取，是一合取式，其支命题或是一命题变元，或是一命题变元的否定，如：q，p∧q，p∧
q∧r。析取范式的例子如：(p∧q)∨(p∧q)，(p∧q∧q)∨(r∧r)。析取范式的作用在于显示矛盾式。一析取范式是不是矛盾式，可以用很简单的方法在有穷步内判定。一析取范式是矛盾式当且仅当它的每一支命题是矛盾式。析取范式的支命题是简单合取，一简单合取中有一命题及其否定同时出现就是矛盾式，否则就不是矛盾式。每一析取范式都只由有穷个支命题组成，因此可以在有穷步内机械地判定它是不是矛盾式。每一命题逻辑的公式都可以按照一定的步骤转换成一析取范式，因此析取范式提供了一种判定一公式是不是矛盾式的方法。