范式

范式

什么是范式？

范式， 通俗地来讲就是一般的公式， 规范的名称， 是科学研究中最基本的概念。

科学研究通常建立在统一的基础上。比如二次方程的一般形式：

$$a{x}^2+bx+c=0(a\ne 0)$$

对于同一个二次方程来讲， 有无数种变形方式， 为了便于研究， 规定其中一种形式为一般形式， 这就是范式。当然范式不是随便选取的，
要以方便为基础， 不过这就是另一个话题了。

离散数学中的范式

关于什么的范式？

这篇文章主要讨论离散数学中的命题表达式， 即用连接词将各种命题连接起来， 形成复合命题。因为命题具有等值变化运算， 所以同一个命题有无数种表达方式，
而要对命题进行研究， 首要就是要将命题用一种标准的形式表达出来。这就引入了命题逻辑里的范式概念。

离散数学中范式的关系？

在离散数学中， 命题的范式并不是唯一的， 由于逻辑运算的特殊性， 几个形式的命题都可以看做是最基本的形式， 而且都有各自的用处。关系并不复杂:

析取范式

什么是析取范式？

定义：

设A是一个命题公式， A 中出现的命题变元为$p_1,p_2,...,p_n$