离散数学第1章课件,高等教育出版社,屈婉玲,耿素云,张立昂主编

- <#> - - 主要内容命题逻辑基本概念命题逻辑等值演算命题逻辑推理理论一阶逻辑基本概念一阶逻辑等值演算与推理 -