离散数学:什么是范式 ?不要合取范式、析取的

2019-02-02 作者:心理学   |   浏览(174)

  离散数学:什么是范式 ?不要合取范式、析取范式的定义,什么样的算是范式?什么样的不算?

  离散数学:什么是范式 ?不要合取范式、析取范式的定义,什么样的算是范式?什么样的不算?

  书上一带而过的是“一个wff能很方便地判定其永真性、永假性和可满足性等”,有没有更精确一点的定?什么样的wff才能算范式?...

  书上一带而过的是“一个wff能很方便地判定其永真性、永假性和可满足性等”,有没有更精确一点的定?什么样的wff才能算范式?

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

离散数学:什么是范式 ?不要合取范式、析取的