A logical method of proof that demonstrates a statement is true by showing its negation leads to a contradiction or an absurdity.

这种论证使用了归谬法，证明了对方逻辑的荒谬之处。