必要条件假言三段论推理有效式是（）和（）。