【命题公式的饱和析合范式﹡名词解释如下】
命题公式的饱和析合范式名词解释：
一种特殊的析合范式.指根据一个命题公式的饱和成真指派集做出的析合范式.设α=(p→q)∨r.α的饱和成真指派集={(F,X,X),(X,T,X),(X,X,T)}.由此集做出一个范式α′=β1∨β2∨β3.其中β1,β2,β3为分别对应于此集合中三个指派的简单合析式.做出这些简单合取式的规律为名词解释：
若指派S以T,则在对应的简单合取式中含有S;若指派S以F,则对应的简单合取式中有S;若对S没有指派,则在对应的简单合取式中S不出现.根据些规律,β1＝p,β2＝q,β3＝r,α的一饱和析合范式为
α′=p∨q∨r.
免责声明：本文内容源于网友提供或网络搜集，仅供个人研究、交流学习使用，转载出于传递更多信息和学习之目的。如果您发现有涉嫌版权内容，请通知本站客服更改或删除。
相关阅读：
新疆财经大学mba微观经济学高鸿业
中医基础理论电子书
心理学硕士点
实质教育论
新视野大学英语读写教程4答案
全新版大学英语综合教程3课后答案
读写教程2答案
新编英语教程第三版4
新视野大学英语4课后答案
大学英语4课后答案
