下列关于演绎的说法正确的是( )
·只要大前提是正确的结论就一定是正确的
·保障作为小前提的事实的真实性是正确判案的关键
·正确的逻辑推理在演绎法中是自动进行的
·结论蕴含在前提之中

---