数理逻辑 4 命题公式的范式

范式的定义：

析就是并，合就是或，合取就是里合外析，析取就是里析外合。

析取式强调的是里面的式子是析取，也就是并。合取式强调的是里面的式子是合取，也就是或。

 常用逻辑等价式：

那要怎样把普通的式子转化为合取或者析取式呢？：

主范式：

 极大项就是和，极小项就是并。

例子：

弄假指派：

弄假就是使得公式为假的赋值。

对于一个主合取范式，只要让其中的一个子式为假，总体就为假。

对于一个主析取式，只要让其中的一个子式为真，就可以让总体为真。