从“凡是正确的推理都是形式有效的推理”，可推出

A．形式有效的推理都是正确的推理

B．形式无效的推理都不是正确的推理

C．形式有效的推理都不是正确的推理

D．不正确的推理都是形式无效的推理