<离散数学>设谓词公式(x)P(x, y)→(z)Q(x, y, z),试

我要回帖

 

随机推荐