二难推理破坏式的主要逻辑机理，是运用假言推理的（） 式。