离散数学：什么是范式 ？不要合取范式、析取范式的定义，什么样的算是范式？什么样的不算？

一般的教材不直接介绍范式的概念，以下属于个人理解。我觉得范式可以理解为一类结构特殊一点的合式公式或干脆称之为命题公式，说它特殊是因为它的组成部分，除了命题变项p,q,r,...外，其中的联结词组成一个联结词完备集，比如{否定，合取，析取}，由此可以构造出析取范式或合取范式。这类范式可以很容易判断是永真式、永假式还是可满足式子，讨论范式的目的就是研究命题公式的简化，从而可以对命题公式进行分类。