离散数学,设个体域D=a,b,c.题目如下,量词消去

我要回帖

 

随机推荐