【命题公式的饱和合析范式﹡名词解释如下】
命题公式的饱和合析范式名词解释：
一种特殊的合析范式,指根据一命题公式的饱和成假指派集做出的合析范式.设α=(p→q)∧r.α的饱和成假指派集={(T,F,X),(X,X,F)},由此集做出一范式α′=β1∧β2,其中β1,β2为简单析取式,β1根据指派(T,F,X)做出,β2根据指派(X,X,F)做出.其规律为名词解释：
若指派某变元S以T,则对应的简单析取式中含有S;若指派S以F,则对应的简单析取式中含有S;若对S没有指派,则在对应的简单析取式中S不出现.根据这规律β1＝p∨q,β2＝r,α的一个饱和合析范式为α′=(p∨q)∧r.
免责声明：本文内容源于网友提供或网络搜集，仅供个人研究、交流学习使用，转载出于传递更多信息和学习之目的。如果您发现有涉嫌版权内容，请通知本站客服更改或删除。
相关阅读：
河北大学公费研究生新视野大学英语2答案
宏观经济学试题及答案
大学英语2课后答案
实际利率
西安理工大学体育部
2012初试成绩
宁夏大学计算机学院
聊城大学外语教学网
廖青
薛有志
