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