从“凡是正确的推理都是形式有效的推理”，可以推出()A形式有效的推理都是正确的推理B非形式有效的推理都不是正确的推理C形式有效的推理都不是正确的推理D不正确的推理都是非形式有效的推理