离散数学课件第二章谓词逻辑

- 离散数学课件第二章谓词逻辑 - - 目录 - CONTENCT - 谓词逻辑的基本概念推理规则和推