离散数学量词辖域的扩张与收缩设公式A(x)含自由出现的个体变项x,B不含x的出现,则(1)∀x(A(x)VB)∀xA(x)VB(2)∀x(A(x)→B)∃xA(x)→B这上面的等值式实在不理解..为什么(1)中等值的还
离散数学!!!如图,..离散数学!!!如图,为什么第一题没用换名规则(换名规则:将一个指导变项及其在辖域中所有约束出现替换成公式中没有出现的个体变项符号),画圈圈的第一题和第二题,x都是约束变项,但是第一题和第二题中的两个x
如图,为什么第一题没..如图,为什么第一题没用换名规则(换名规则:将一个指导变项及其在辖域中所有约束出现替换成公式中没有出现的个体变项符号),画圈圈的第一题和第二题,x都是约束变项,但是第一题和第二题中的两个x都表示不同的含
离散数学量词辖域的扩张与收缩设公式A(x)含自由出现的个体变项x,B不含x的出现,则(1)∀x(A(x)VB)∀xA(x)VB(2)∀x(A(x)→B)∃xA(x)→B这上面的等值式实在不理解..为什么(1)中等值的还