negation

词汇拆解与释义

Negation 是一个 statement 的否定。

数学定义

若原命题是 $A$，它的 negation 可写作：

$\text{not } A$

例如，”$n$ is even” 的 negation 是 ”$n$ is odd”。

P4 用法

Proof by contradiction 的第一步通常是 assume the negation。