命题公式的饱和合析范式﹡
所属分类：数学
命题公式的饱和合析范式名词解释：一种特殊的合析范式,指根据一命题公式的饱和成假指派集做出的合析范式.设α=(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)}.由此集做出一范...
合取词﹡
所属分类：数学
合取词名词解释：真值联结词之一.通常用符号“∧”,“”,“K”等来表示.如果p,q为两个命题,则p∧q(或pq,Kpq,读做“p且q”)表示由p,q组成的复合命题“p且q”.p∧q被称为是p和q的合取式,而p,q称为该合取式的合取项,或合取...