論理記号.6　否定の作り方

ホーム
大学数学, 集合と位相
論理記号.6　否定の作り方

大学数学

2018.06.12

否定の作り方～一定のルールに則って否定を作ろう～

数学において、命題の否定を用いる場面は頻繁に出て来ます。

例えば、背理法は「ある命題の否定を仮定して、矛盾を導くことでその命題が正しいことを示す」方法です。

また、命題とその対偶は同値なので、ある命題が真であることを示そうとするとき、元の命題の代わりに対偶が真であることを示すことはよくあります。対偶は元の命題の否定形で書かれます。

なので、否定を正しく作れることは非常に大切です。

しかし、命題の形が複雑になってくると、混乱してしまって否定を正しく作れない方がいます。

そこで今回は、否定の作り方のコツをお伝えしましょう。

ポイントは

命題を論理式の形で書き表すこと
否定を作るときは、一定のルールに則って、論理式を手前から順に書き換えていくこと

です。論理式の形で命題を書けると、複雑な命題でも正しく否定を作りやすくなります。

命題を論理式で書き表す際のポイント

基本的には文章を逐次論理記号に置き換えていけば大丈夫です。以下の２つのことに気をつけて作ってみて下さい。

１．数学の命題は仮定と結論の形で書かれることが多い。何が仮定で何が結論かをしっかりと認識すること。（仮定） $\Rightarrow$ （結論）が１つの基本形。もう１つは同値の場合で、（命題 $P$ ） $\Leftrightarrow$ （命題 $Q$ ）の形になる。
２．「任意の」と「～が存在する」によく注意を払うこと。明示的に書かれていないことも多く、文脈から読み取らなければならないこともある。特に「任意の」と「～が存在する」が入り混じっている場合、これらの順序には気を付けること。順序が違えばまったく違う意味になる。

否定の作り方のルール

命題を論理式の形で書けたら、手前から次のルールに沿って否定を作っていきます。

１．命題 $P$ は否定 $\lnot P$ に置き換える
２．二重否定＝肯定より、命題 $\lnot Q$ は $Q$ に置き換える
３． $\land$ は $\lor$ に置き換え、 $\lor$ は $\land$ に置き換える
４． $P \Rightarrow Q$ は $( \lnot P) \lor Q$ と同値であることを踏まえて、 $P \land (\lnot Q)$ に置き換える
５． $\exists x \in X$ は $\forall x \in X$ に置き換え、 $\forall x \in X$ は $\exists x \in X$ に置き換える（ $x \notin X$ としないことに注意）

では、いくつか例をやっていきましょう。

◇Ex.SetTop.1.6.1.

「実数値関数 $f(x)$ が $x=a$ で連続であること」は、次のように論理式で書けます（これはまだ覚えなくていいです）

$\forall \epsilon >0 \, \exists \delta >0 \, ,( |x-a|< \delta \Rightarrow |f(x)-f(a)| < \epsilon )$

こちらの否定を作ってみましょう。

以上を繋げて、全体の否定が完成します。こうなります。

$\exists \epsilon >0 \, \forall \delta >0 \, ,( (|x-a|< \delta) \land (|f(x)-f(a)| \geq \epsilon) )$

◇Ex.SetTop.1.6.2.

$V,W$ を体 $K$ 上の線形空間とするとき、写像 $f:V \rightarrow W$ が線形写像であるとは、任意の $v ,w \in V , a,b \in K$ に対し、

$f(av+bw) = af(v)+bf(w)$

が成り立つことである。（これはまだ覚えなくていいです）

これを論理式で書くと、

$\forall v,w \in V , \forall a,b \in K, f(av+bw) = af(v)+bf(w)$

となります。こちらの否定を作ると、

$\exists v,w \in V , \exists a,b \in K, f(av+bw) \neq af(v)+bf(w)$

となります。

◇Ex.SetTop.1.6.3.

$n$ 次元ユークリッド空間 $\mathbb{R}^n$ の部分集合 $U$ が $\mathbb{R}^n$ の開集合であるとは、任意の点 $x \in U$ に対して、ある実数 $r >0$ が存在して、任意の点 $y \in \mathbb{R}^n$ について、 $|y-x|<r$ ならば $y \in U$ であることである。（こればまだ覚えなくていいです）