“演绎推理形式有效”是“演绎推理合乎逻辑”的（ ）

演绎推理形式有效,即某一推理形式代入任何真实的前提,都出现真结论.
演绎推理合乎逻辑,即由一般性前提到个别性结论的推导过程符合逻辑特性.
必要性：一个推理,合乎逻辑（大前提、小前提、推理形式都正确的前提下得到的结论一定正确）地推出结论⇒形式正确⇒有效.
充分性：在形式有效的情况下,如果前提真就能必然地推出真结论.显然得证
所以 C