“某嫌疑人或者犯抢劫罪，或者犯故意杀人罪；已知他犯有故意杀人罪，所以，他没有犯抢劫罪。”这一推理属于何种推理？是否正确？为什么？