必要条件假言推理的有效式之一是肯定______式。