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