下列关于演绎的说法正确的是（）

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