谓词演算公式在个体域上的指派﹡
所属分类：数学
谓词演算公式在个体域上的指派名词解释：一种映射.指局限于公式中符号的指派.设谓词演算公式α中含有自由的个体变元x1,x2,…,xm;命题变元p1,p2,…,pn;谓词变元R1,R2,…,Rj;函词变元F1,F2,…,Fk.公式α在个体域I上...
谓词演算替换定理﹡
所属分类：数学
谓词演算替换定理名词解释：谓词演算的重要定理之一.该定理断言名词解释：谓词公式中的某个子公式被与其等价的公式代换,其真值不变.设α,β,γ均为谓词演算公式.α,β中仅含自由的个体变元x1,x2,…,xn,β在γ中有一个出现,则从α(x1,x...
命题公式的饱和合析范式﹡
所属分类：数学
命题公式的饱和合析范式名词解释：一种特殊的合析范式,指根据一命题公式的饱和成假指派集做出的合析范式.设α=(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)}.由此集做出一范...