前提都真则结论必真
前提都假则结论必假
结论真则前提必真
结论假则前提至少有一个为假
结论假则前提有真有假
演绎推理属于必然性推理：前提都真且形式有效→结论正确
本题已经说明形式有效，根据充分条件假言判断的规则：
（1）若前提真则结论必真（肯前肯后），A正确；
（2）结论假，否后否前，可知并非每一个前提都真，即前提至少有一个为假，D正确。
答案为AD。
