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

§3.1 谓词逻辑概述