前提虚假可能不是正确的推理，所以，前提虚假必然不是正确的推理。指出上述模态推理的类型，并说明其是否有效，为什么？