离散数学【03. 谓词逻辑(LP)】
发布人