有效論證定義