多语言展示
当前在线:1472今日阅读:23今日分享:25

在离散数学中,如何消去存在或全称量词

现在我们来看看,在离散数学中,如何消去存在或全称量词。
工具/原料
1

联想2020

2

Win11

方法/步骤
1

我们在要消去全称或存在量词,首先会给定一个区域。

2

然后我们就能代入消去量词。

3

这时候,我们可以将a这个值先代入谓词公式。

4

然后把b这个量词也带入公式。

5

再把c这个体域也带入公式。

6

这样子,我们把各自的个体域全部带入即可。

注意事项

不会使用的同学可以给我留言。

推荐信息