無效論證定義