“这个案件的凶手是甲或者乙，现已查明甲是这个案件的凶手，所以，乙不是这个案件的凶手。”这一推理属于何种推理？是否有效？为什么？