哈姆特《逻辑语言与意义》-37-第二章命题逻辑:第三章谓词逻辑:3.6.5规则:mp分离规则
发布人