二难推理破坏式的主要逻辑机理，是运用充分条件假言推理的_________式。