离散数学-一阶谓词逻辑

- 《离散数学》课程学时：48讲 授：杨绍禹 - <#> - 一阶逻辑 - 例：苏格拉底论断前提“所有的人都是要死的”“