范式方法

---

命题逻辑中判定一公式是否为一重言式或矛盾式的逻辑方法。

一公式是简单析(合)取式，当且仅当它的任一析(合)取肢或者是一命题变元，或者是一命题变元的否定。

一公式是合(析)取范式，当且仅当它的任一合(析)取肢是简单析(合)取式。

一合取范式是重言式，当且仅当它的任一合取肢都是重言的简单析取式；一简单析取式是重言式，当且仅当它的析取肢中同时包括一命题变元及其否定。

一折取范式是矛盾式，当且仅当它的任一析取肢都是矛盾的简单合取式，一简单合取式是矛盾式，当且仅当它的合取肢中同时包括一命题变元及其否定。

根据范式存在定理，命题逻辑中的任一公式，都可以在有限步内等值变换成合取范式或析取范式。

一公式是重言式，当且仅当它的合取范式是重言式；一公式是矛盾式，当且仅当它的折取范式是矛盾式。因此，运用范式方法，命题逻辑中公式的判定问题是能行地解决了的。，