6，结论为formula_1，结论出现在前提中，因此也是一种循环证成。单就循环证成的形式来看，循环证成在逻辑上可能有效（如果推理过程没有缺陷）、也可能健全（如果自身证立的前提formula_1恰好是真的），因此循环证成并非推理形式上的错误，故不归为形式谬误。然而，循环证成的情境中，formula_1通常是受质疑的，用受质疑的命题自身证明自身毫无意义、也缺乏说服力，这种情况可归为非形式谬误。有些人把情境上不恰当的循环证成称作循环证成的谬误或循环论证的谬误（fallacy of circular jus