下列推理正确的是

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