[问答题] 设个体域D={1,2,3},则谓词公式("x)A(x)消去量词后的等值式为A(1)∧A(2)∧A(3).
上传用户:huihuihui 上传时间:2023年12月06日
[问答题] 设个体域D={1,2,3,4},则谓词公式($x)A(x)消去量词后的等值式为A(1)∨A(2)∨A(3)∨A(4)
上传用户:huihuihui 上传时间:2023年12月06日
[问答题] 设个体域D={1,2},则谓词公式("x)P(x)∨($x)Q(x)消去量词后的等值式为(P(1)∧P(2))∨(Q(1)∨Q(2)).
上传用户:huihuihui 上传时间:2023年12月06日
[问答题] 设A(x):x是人,B(x):x是学生,则命题“有的人是学生”可符号化为┐( x)(A(x)∧┐B(x))
上传用户:huihuihui 上传时间:2023年12月06日