“如果甲是凶手，则乙不是凶手；所以，如果乙是凶手，则甲不是凶手。”这个推理是无效的。