"这个案件的凶手是甲或者乙,现已查明甲是这个案件的凶手,所以,乙不是这个案件的凶手。" 这一推理属于何种推理?是否正确?为什么?
出自:国家开放大学《法律逻辑学》