必要条件假言推理的有救式之一是（）肯定式。