现在我们来看看,在离散数学中,如何消去存在或全称量词。
工具/原料
联想2020
Win11
方法/步骤
1、我们在要消去全称或存在量词,首先会给定一个区域。
2、然后我们就能代入消去量词。
3、这时候,我们可以将a这个值先代入谓词公式。
4、然后把b这个量词也带入公式。
5、再把c这个体域也带入公式。
6、这样子,我们把各自的个体域全部带入即可。
时间:2024-10-22 08:44:16
现在我们来看看,在离散数学中,如何消去存在或全称量词。
工具/原料
联想2020
Win11
方法/步骤
1、我们在要消去全称或存在量词,首先会给定一个区域。
2、然后我们就能代入消去量词。
3、这时候,我们可以将a这个值先代入谓词公式。
4、然后把b这个量词也带入公式。
5、再把c这个体域也带入公式。
6、这样子,我们把各自的个体域全部带入即可。