在演绎推理中前提真实并且推理形式有效与结论真实的关系

             读到一篇文章，文中有下列一段文字：

        作者把演绎推理中前提真实并且推理形式有效视为结论真实的必要条件，用了“才”，文中红色下划线所示。我以前也是这样的认识，但这是不对的。

   演绎推理中，前提真实并且推理形式有效应是结论真实的充分条件，如下图所示：   

       前提真实并且推理形式有效蕴涵结论真实，只要前提真实并且推理形式有效，结论就真实。

   只有这样，我们才能从结论不真实反三段论倒推出前提不真实或者推理形式无效；等价的说法是：只要不这样，我们就不能从结论不真实反三段论倒推出前提不真实或者推理形式无效。