下列推理正确的是
选项：

A:有效推理，前提为真，结论必然为真.;
B:无效推理，前提为真，结论必然为真.;
C:有效推理，结论为假，前提必然为假。;
D:无效推理，结论为假，前提必然为假。