设个体域A=,公式在A上消去量词后应该为怎样的谓词公式
答案:1 悬赏:0
解决时间 2021-01-11 16:12
- 提问者网友:鼻尖触碰
- 2021-01-10 15:42
设个体域A=,公式在A上消去量词后应该为怎样的谓词公式
最佳答案
- 二级知识专家网友:鸽屿
- 2021-01-10 16:07
在屈婉岭编的《离散数学》里P75对于存在量词消去规则的解释是3.存在量词消去规则 存在量词消去规则A(x)→B→∴存在xA(x)→B其中x是个体变项符号,且不在Γ的任何公式和B中自由出现
我要举报
如以上回答内容为低俗、色情、不良、暴力、侵权、涉及违法等信息,可以点下面链接进行举报!
点此我要举报以上问答信息!
大家都在看
推荐信息