反例

反例是一种反证的形式。

给定一个假设，声明 对于所有 都为真，证明存在一个 使得 为假，从而反驳该假设。