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