Как называется логическая форма, направленная на разрушение доказательства путем установления ложности или необоснованности ранее выдвинутого тезиса?