命题公式的饱和合析范式﹡
所属分类：数学
命题公式的饱和合析范式名词解释：一种特殊的合析范式,指根据一命题公式的饱和成假指派集做出的合析范式.设α=(p→q)∧r.α的饱和成假指派集={(T,F,X),(X,X,F)},由此集做出一范式α′=β1∧β2,其中β1,β2为简单析取式,...
命题公式的饱和析合范式﹡
所属分类：数学
命题公式的饱和析合范式名词解释：一种特殊的析合范式.指根据一个命题公式的饱和成真指派集做出的析合范式.设α=(p→q)∨r.α的饱和成真指派集={(F,X,X),(X,T,X),(X,X,T)}.由此集做出一个范式α′=β1∨β2∨β3.其...
命题公式的特异析合范式﹡
所属分类：数学
命题公式的特异析合范式名词解释：一种特殊的析合范式.指根据一个命题公式的特异成真指派集做出的析合范式.设α=(p→q)∧r.其特异成真指派集为{(T,T,T),(F,T,T),(F,F,T)}.由此集做出一范式α′=β1∧β2∧β3,其中β...
命题公式的特异合析范式﹡
所属分类：数学
命题公式的特异合析范式名词解释：一种特殊的合析范式.指根据一个命题公式的特异成假指派集做出的合析范式.设α=(p→q)∧r.其特异成假指派集为{(T,T,F),(T,F,T),(T,F,F),(F,T,F),(F,F,F)}.由此集做出一范...
命题公式饱和成真指派﹡
所属分类：数学
命题公式饱和成真指派名词解释：一种特殊的成真指派.指其任何加缺指派均不是成真指派的成真指派.设α=(p→q)∧r.f=(F,T,F)为α的成真指派,但不是饱和成真指派,因为它的加缺指派g=(F,T,x),g′=(F,x,x)为α的成真指派....
命题公式成假指派﹡
所属分类：数学
命题公式成假指派名词解释：一种指派.是使命题公式的真值为F的指派.设公式α=(p→q)∧r.α对应于指派(T,F,F)的真值为F,这时(T,F,F)便称为α的成假指派.有缺指派亦可为成假指派.例如,不论指派p,q以何真值,只要指派r以F,则...
命题公式成真指派﹡
所属分类：数学
命题公式成真指派名词解释：一种指派.是使命题公式的真值为真的指派.例如,设公式α=(p→q)∨r.对应于指派(T,F,T),α的真值为T,所以(T,F,T)称为α的成真指派.有缺指派亦可为成真指派.例如,不论指派p,q以何真值,只要指派r以...
命题公式特异指派﹡
所属分类：数学
命题公式特异指派名词解释：一种特殊映射.是从某命题公式中出现的命题变元集到真值集的映射.设公式α=(p→q)∨r,f名词解释：{p,q,r}→{T,F}为一映射,使得f(p)=T,f(q)=F,f(r)=T,则称f为公式α的一个特异指派.公...
命题公式加缺指派﹡
所属分类：数学
命题公式加缺指派名词解释：一种有缺指派.设f为一(特异或部分)指派.若f为一部分指派g的相容扩张,则g称为f的加缺指派.例如f=(F,T,F),则g=(x,T,F)和g′=(x,x,F)均为f的加缺指派.前者称为f的加一缺指派,后者为加二缺...