范式的定义：
析就是并，合就是或，合取就是里合外析，析取就是里析外合。
析取式强调的是里面的式子是析取，也就是并。合取式强调的是里面的式子是合取，也就是或。
常用逻辑等价式：
那要怎样把普通的式子转化为合取或者析取式呢？：
主范式：
极大项就是和，极小项就是并。
例子：
弄假指派：
弄假就是使得公式为假的赋值。
对于一个主合取范式，只要让其中的一个子式为假，总体就为假。
对于一个主析取式，只要让其中的一个子式为真，就可以让总体为真。
最后
以上就是鲤鱼猫咪最近收集整理的关于数理逻辑 4 命题公式的范式的全部内容，更多相关数理逻辑内容请搜索靠谱客的其他文章。
本图文内容来源于网友提供，作为学习参考使用，或来自网络收集整理，版权属于原作者所有。
str为空
发表评论 取消回复