范式方法

运用范式判定真值形式的逻辑性质的方法。一真值形式是重言式，当且仅当它的合取范式的每个合取支都是重言的简单析取式，即同时包含一命题变元及其否定作为析取支的简单析取式；一真值形式是矛盾式，当且仅当它的析取范式的每个析取支都是矛盾的简单合取式，即同时包含 一命题变元及其否定作为合取支的简单合取式。