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

从“凡是正确的推理都是形式有效的推理”，可推出（）
A.形式有效的推理都是正确的推理
B.形式无效的推理都不是正确的推理
C.形式有效的推理都不是正确的推理
D.不正确的推理都是形式无效的推理
正确答案：B