设个体域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中自由出现
我要举报
如以上问答内容为低俗、色情、不良、暴力、侵权、涉及违法等信息,可以点下面链接进行举报!
大家都在看
推荐资讯
• 手机登qq时,显示手机磁盘不足,清理后重新登 |
• 刺客的套装怎么选啊? |