间接反驳是先论证与被反驳的论题相矛盾或相反对的论断为真，然后依据律确定被反驳的论题为假。独立论证为真的判断“非P”与被反驳的论断“P”之间是（），（）关系。

二分法的子项之间是（）关系；多分法的子项之间是（）关系

填空题二分法的子项之间是（）关系；多分法的子项之间是（）关系

定义循环是指在（）中直接或间接出现了（）。

填空题定义循环是指在（）中直接或间接出现了（）。

在形成假说的阶段，主要应用（）推理和（）推理。

填空题在形成假说的阶段，主要应用（）推理和（）推理。