二难推理构成式的主要逻辑机理是运用假言推理的____式。