在离散数学中，如何消去存在或全称量词
1、我们在要消去全称或存在量词，首先会给定一个区域。
2、然后我们就能代入消去量词。
3、这时候，我们可以将a这个值先代入谓词公式。
4、然后把b这个量词也带入公式。
5、再把c这个体域也带入公式。
6、这样子，我们把各自的个体域全部带入即可。
声明：本网站引用、摘录或转载内容仅供网站访问者交流或参考，不代表本站立场，如存在版权或非法内容，请联系站长删除，联系邮箱：site.kefu@qq.com。
阅读量：106
阅读量：31
阅读量：130
阅读量：128
阅读量：196