马工程《逻辑学》66第四章谓词逻辑-例10爱猫之人四种
发布人