1.运用反证法进行论证时，主要运用的推理形式是充分条件假言推理的（）。