[单选] 下列三段论为有效式的是（其中符号∧表示同时肯定两个前提）（）.

管壳式换热器管程是依靠管箱的（）进行分程的。 启动液压泵前检查供油箱和膨胀油箱并注满液压油。 管壳式换热器主要是有壳体、（）、管板和封头等部件组成的。 海伦1211的灭火作用主要是阻碍燃烧的链锁反应。 换热器管板和法兰应进行（）计算，以校核其密封性，防止使用中泄漏。 下列三段论为有效式的是（其中符号∧表示同时肯定两个前提）（）.