题目
设个体域在A上消去量词后应为().
请帮忙给出正确答案和分析,谢谢!
第4题
在有限个体域内消去量词。
(1)个体域D={1,2,3},公式为
(2)个体域D={a,b},公式为
第7题
设个体域D={a,b,c},在D中消去公式的量词。甲、乙用了不同的演算过程。
显然,乙的演算过程简单些。试指出乙在演算过程中的关键步骤。
第8题
设个体域={1,2,3,4},F(x):x是2的倍数。G(x):x是奇数,将命题(F(x)→ㄱG(x))中的量词消去,并讨论命题的真值。
为了保护您的账号安全,请在“赏学吧”公众号进行验证,点击“官网服务”-“账号验证”后输入验证码“”完成验证,验证成功后方可继续查看答案!