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

§3.2 谓词公式与解释