【論理-命題論理-】否定（第3回）【大学数学】

例えば、ある命題があったときに、その

否定（〜でない）

上で説明した命題の否定をもう一度しっかり定義しましょう。

定義（命題の否定）
命題\( \ p \ \)に対して，「\( p\ \)でない」という新しい命題を考えることができる。この命題を，\( p\ \)の否定といい，\( \lnot p\)とかく．「\(p\ \)ではない」や「not \( p\ \) 」と読みます．