问答题

案例分析题设个体域为D={1,2,3},试消去下列各式的量词 (∀x)(P(x)↔Q(x))

【参考答案】