析取范式的形式(优析取范式)
导读
当前大家对于优析取范式都是颇为感兴趣的,大家都想要了解一下优析取范式,那么小美也是在网络上收集了一些关于优析取范式的一些信息来分
当前大家对于优析取范式都是颇为感兴趣的,大家都想要了解一下优析取范式,那么小美也是在网络上收集了一些关于优析取范式的一些信息来分享给大家,希望能够帮到大家哦。
1、优析取范式亦称“特异析取范式”。
2、经典命题演算中满足以下条件的析取范式。
3、(1)如果某一命题变项在范式里出现,那么它要在每一简单合取中都出现。
4、(2)没有常假的简单合取。
5、(3)在简单合取里,没有相同的支命题。
6、(4)对于命题变项及其否定按字典顺序排列。
7、(5)没有相同的简单合取。
8、一公式的优析取范式是惟一的。
9、 。
本文到此结束,希望对大家有所帮助。
免责声明:本文由用户上传,如有侵权请联系删除!