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