量化記号(全称命題・存在命題)の定義
量化記号(全称命題・存在命題)の定義
集合\(X\)の任意の元\(x\)について命題\(P\)が成り立つときは\(\forall x\in X,P\left(x\right)\)と表す。
\[ \forall x\in X,P\left(x\right)\Leftrightarrow\forall x,x\in X\rightarrow P\left(x\right) \] \[ \forall x\in X,P\left(x\right)\Leftrightarrow x\in X\rightarrow P\left(x\right) \] \[ \forall x,P\left(x\right)\Leftrightarrow\bigwedge_{x}P\left(x\right) \] \[ \forall x\in X,P\left(x\right)\Leftrightarrow\bigwedge_{x\in X}P\left(x\right) \] である。
集合Xの元にxが存在し命題\(P\)が成り立つときは\(\exists x\in X,P\left(x\right)\)と表す。
\[ \exists x\in X,P\left(x\right)\Leftrightarrow\exists x,x\in X\land P\left(x\right) \] \[ \exists x\in X,P\left(x\right)\Leftrightarrow\exists x\in X\land P\left(x\right) \] \[ \exists x,P\left(x\right)\Leftrightarrow\bigvee_{x}P\left(x\right) \] \[ \exists x\in X,P\left(x\right)\Leftrightarrow\bigvee_{x\in X}P\left(x\right) \] である。
(1)全称命題
任意の\(x\)について命題\(P\)が成り立つとき\(\forall x,P\left(x\right)\)で表す。集合\(X\)の任意の元\(x\)について命題\(P\)が成り立つときは\(\forall x\in X,P\left(x\right)\)と表す。
\[ \forall x\in X,P\left(x\right)\Leftrightarrow\forall x,x\in X\rightarrow P\left(x\right) \] \[ \forall x\in X,P\left(x\right)\Leftrightarrow x\in X\rightarrow P\left(x\right) \] \[ \forall x,P\left(x\right)\Leftrightarrow\bigwedge_{x}P\left(x\right) \] \[ \forall x\in X,P\left(x\right)\Leftrightarrow\bigwedge_{x\in X}P\left(x\right) \] である。
(2)存在命題
ある\(x\)が存在して命題\(P\)が成り立つとき\(\exists x,P\left(x\right)\)で表す。集合Xの元にxが存在し命題\(P\)が成り立つときは\(\exists x\in X,P\left(x\right)\)と表す。
\[ \exists x\in X,P\left(x\right)\Leftrightarrow\exists x,x\in X\land P\left(x\right) \] \[ \exists x\in X,P\left(x\right)\Leftrightarrow\exists x\in X\land P\left(x\right) \] \[ \exists x,P\left(x\right)\Leftrightarrow\bigvee_{x}P\left(x\right) \] \[ \exists x\in X,P\left(x\right)\Leftrightarrow\bigvee_{x\in X}P\left(x\right) \] である。
(3)唯一存在命題
ただ1つだけ命題\(P\)が成り立つ元\(x\)が存在するときは\(\exists!x,P\left(x\right)\)で表す。量化子を表す記号として\(Q\)が使われることもある。
例えば\(QxP\left(x\right)\)と書いて\(\forall xP\left(x\right)\)または\(\exists xP\left(x\right)\)を表す。
例えば、
\[ \forall x\in\left\{ -1,1\right\} ,1\leq x^{2}\Leftrightarrow x\in\left\{ -1,1\right\} \land1\leq x^{2} \] の左辺は真であるが、右辺は\(x=2\)とすると偽となる。
例えば、
\[ \exists x\in\emptyset,x=1\Leftrightarrow\exists x,x\in\emptyset\rightarrow x=1 \] の左辺は偽であるが、右辺は真となる。
\begin{align*} \lnot\left(\exists x\in X,P\left(x\right)\right) & =\lnot\left(\exists x,x\in X\land P\left(x\right)\right)\\ & =\forall x,x\notin X\lor\lnot P\left(x\right)\\ & =\forall x,x\in X\rightarrow\lnot P\left(x\right)\\ & =\forall x\in X,\lnot P\left(x\right) \end{align*}
例えば\(QxP\left(x\right)\)と書いて\(\forall xP\left(x\right)\)または\(\exists xP\left(x\right)\)を表す。
-
適当な元は適切な元という意味で、何も考えずに選んだ元、言い換えると任意の元という意味ではありません。-
\[ \forall x\in X,P\left(x\right)\Leftrightarrow x\in X\land P\left(x\right) \] ではないので注意。例えば、
\[ \forall x\in\left\{ -1,1\right\} ,1\leq x^{2}\Leftrightarrow x\in\left\{ -1,1\right\} \land1\leq x^{2} \] の左辺は真であるが、右辺は\(x=2\)とすると偽となる。
-
\[ \exists x\in X,P\left(x\right)\Leftrightarrow\exists x,x\in X\rightarrow P\left(x\right) \] ではないので注意。例えば、
\[ \exists x\in\emptyset,x=1\Leftrightarrow\exists x,x\in\emptyset\rightarrow x=1 \] の左辺は偽であるが、右辺は真となる。
-
定義より否定は次のようになる。\begin{align*} \lnot\left(\exists x\in X,P\left(x\right)\right) & =\lnot\left(\exists x,x\in X\land P\left(x\right)\right)\\ & =\forall x,x\notin X\lor\lnot P\left(x\right)\\ & =\forall x,x\in X\rightarrow\lnot P\left(x\right)\\ & =\forall x\in X,\lnot P\left(x\right) \end{align*}
ページ情報
タイトル | 量化記号(全称命題・存在命題)の定義 |
URL | https://www.nomuramath.com/snevus5q/ |
SNSボタン |
論理演算同士の関係
\begin{align*}
P\lor Q & \Leftrightarrow\lnot P\uparrow\lnot Q\\
& \Leftrightarrow\lnot P\rightarrow Q\\
& \Leftrightarrow P\leftarrow\lnot Q\\
& \Leftrightarrow\lnot\left(\lnot P\land\lnot Q\right)\\
& \Leftrightarrow\lnot\left(P\downarrow Q\right)\\
& \Leftrightarrow\lnot\left(\lnot P\nrightarrow Q\right)\\
& \Leftrightarrow\lnot\left(P\nleftarrow Q\right)
\end{align*}
量化記号(全称命題・存在命題)の分配
\[
\exists x\left(P\left(x\right)\lor Q\left(x\right)\right)\Leftrightarrow\exists xP\left(x\right)\lor\exists xQ\left(x\right)
\]
逆・裏・対偶の定義と対偶の法則
\[
\left(P\rightarrow Q\right)\Leftrightarrow\left(\lnot P\leftarrow\lnot Q\right)
\]
論理演算の定義
\[
P\rightarrow Q\Leftrightarrow\lnot P\lor Q
\]