题目内容
（请给出正确答案）
[单选题]
设个体域D={a，b，c}，那么谓词公式（∃x）A（x）∨（∀y）B（y）消去量词后的等值式为（）。
A.
B.
C.
D.
如搜索结果不匹配，请 联系老师 获取答案
设个体域A={1，2}，消去公式
中的量词．
更多“设个体域D={a，b，c}，那么谓词公式（∃x）A（x）∨（…”相关的问题
,消去公式
中的量词,可得().
第8题
在有限个体域内消去量词。（1)个体域D={1，2，3}，公式为（2)个体域D={a，b}，公式为
在有限个体域内消去量词。
(1)个体域D={1，2，3}，公式为
(2)个体域D={a，b}，公式为
在A上消去量词后应为().
中量词
的辖域是().
