2015离散数学谓词量词、变元的约束、翻译ppt课件