预习-离散数学第1章part10-谓词符号化示例
发布人