离散数学PPT教学谓词逻辑

- 第三章 谓词逻辑 - 第一节 谓词和量词第二节 谓词演算的永真公式第三节 前 束 范 式 - -