在使用反证法进行证明时，利用的是逻辑基本规律中的（）。