反例

反例是一種反證的形式。

給定一個假設，宣告 對於所有 都為真，證明存在一個 使得 為假，從而反駁該假設。