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