离散数学第三章谓词演算基础永真性和可满足性

- 真假性：四个因素 - (1)个体域 设A(e)表示e为偶数，考察 xA(x) - 当个