)(2)(x)(A(x)→B).(x)A(x)∨B((3)x)P(x).R(x)可逻辑推出(x)P(x)→R(x))(x)(4.试证明(5.设A(x):x是人,B(x):x犯错误,则命题“没有不犯错误的人”可符号化为().A.xAx∧BxB.┐xAx→┐Bx
fxAx∧BxD.┐xAx)∧┐Bx))6.可以确定下述谓词推理的步骤()是正确的.x)P(x)PA.(1)((2)P(a)US(1)(3)(x)P(x)ES(2)x)P(x)PB.(1)((2)P(a)ES(1)x)P(x)US(2)(3)(C.(1)P(a)P(2)(x)P(x)US(1)D.(1)P(a)Pa)P(a)US(1)(2)(
C.┐
fr