间接反驳的逻辑依据是（）律。独立证明为真的判断“非P”与被反驳的论断“P”之间是（）关系。