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

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

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

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