优合取范式
(逻辑学术语)
优合取范式亦称“特异合取范式”。经典命题演算中满足以下条件的合取范式。(1)如果某一命题变项在范式里出现,那么它要在每一简单析取中都出现。(2)没有常真的简单析取。(3)在简单析取里,没有相同的支命题。(4)对于命题变项及其否定按字典顺序排列。(5)没有相同的简单析取。一公式的优合取范式是惟一的。
用户数据
参数表
继承树
构成树
关注人数:
0
技点进度:
0
/
0
题库进度:
0
/
0
技能进度:
0
/
关注级别:
取消关注
【参数模块正在开发当中】