离散数学
上QQ阅读APP看书,第一时间看更新

§2.5 命题逻辑推理