反证法通过驳倒反论题而确定论题为真，其所运用的是逻辑基本规律中的（）律。