鐃緒申鐃旬語技法 No.7

鐃緒申鐃緒申硫鐃緒申鐃緒申鐃熟以駕申鐃塾よう鐃祝なる。

鐃緒申張鐃緒申	鐃緒申鐃緒申鐃祝わ申鐃緒申鐃緒申鐃�	鐃緒申鐃緒申	鐃緒申由
A(鐃緒申)	$\forall x \in$ $\mbox{${\mathbb{R}}$}$ $% latex2html id marker 844 $ (x\geq 3)$$	鐃緒申	鐃緒申多鐃緒申鐃緒申鐃� 鐃淑常申任呂覆鐃緒申鐃�
B	$\exists x\in$ $\mbox{${\mathbb{R}}$}$ $% latex2html id marker 852 $ (x\geq 5)$$	鐃緒申	鐃緒申鐃緒申鐃緒申鐃緒申任鐃緒申襦�
C(鐃緒申)	$\forall x \exists y \in$ $\mbox{${\mathbb{R}}$}$ $% latex2html id marker 858 $ (y\geq x+5)$$	鐃緒申	鐃緒申鐃淑わ申鐃緒申鐃緒申鐃出わ申鐃緒申鐃緒申鐃緒申 C 鐃緒申鐃緒申鐃術意わ申鐃緒申鐃緒申匹鐃緒申鐃�
D(鐃緒申)	$\exists x\in$ $\mbox{${\mathbb{R}}$}$ $\forall y\in$ $\mbox{${\mathbb{R}}$}$ $% latex2html id marker 868 $ (x\geq y+5)$$	鐃緒申	鐃緒申鐃塾よう鐃緒申鐃緒申鐃緒申鐃獣わ申鐃夙わ申鐃緒申函鐃緒申鐃緒申覆鐃緒申鐃� 鐃夙わ申鐃緒申鐃緒申箸鐃緒申矛鐃盾が鐃緒申鐃緒申鐃暑。
E	$\forall x \in$ $\mbox{${\mathbb{R}}$}$ $\exists y\in$ $\mbox{${\mathbb{R}}$}$	鐃緒申	鐃緒申鐃淑わ申鐃緒申鐃緒申鐃出わ申鐃緒申鐃緒申鐃緒申 E 鐃緒申鐃夙わ申鐃緒申鐃緒申匹鐃緒申鐃�
F	$\exists x\in$ $\mbox{${\mathbb{R}}$}$ $\forall y\in$ $\mbox{${\mathbb{R}}$}$	鐃緒申	鐃緒申鐃塾よう鐃緒申鐃緒申鐃緒申鐃獣わ申鐃夙わ申鐃緒申箸鐃緒申覆鐃緒申鐃� 鐃祝とわ申鐃縮件申發�申鐃緒申鐃緒申襦�
G	$\exists x\in$ $\mbox{${\mathbb{R}}$}$ $\exists y\in$ $\mbox{${\mathbb{R}}$}$ $\forall z\in$ $\mbox{${\mathbb{R}}$}$	鐃緒申	G 鐃緒申鐃夙件申鐃緒申弌鐃� 鐃宿のよう鐃緒申 $z\in$ $\mbox{${\mathbb{R}}$}$ 鐃緒申鐃出わ申鐃銃わ申鐃叔わ申鐃暑。
H	$\forall x\in{\mbox{${\mathbb{Z}}$}}\exists y\in{\mbox{${\mathbb{Z}}$}}\exists z\in{\mbox{${\mathbb{Z}}$}}(z=\frac{x+y}{2})$	鐃緒申	鐃緒申鐃緒申鐃緒申鐃出わ申鐃銃醐申蠅� 鐃緒申鐃緒申鐃緒申鐃緒申箸鐃緒申茲�申鐃� 鐃緒申鐃塾とわ申鐃緒申鐃緒申鐃緒申鐃緒申鐃駿わ申鐃宿わ申鐃緒申
I	$% latex2html id marker 919 $ \forall x\in{\mbox{${\mathbb{Z}}$}}\exists y\in{\mbox{${\mathbb{Z}}$}}\forall z\in{\mbox{${\mathbb{Z}}$}}(z\neq\frac{x+y}{2})$$	鐃緒申	鐃緒申鐃緒申鐃緒申鐃出わ申鐃銃醐申蠅� 鐃緒申鐃緒申鐃駿わ申 $\frac{x+y}{2}=\frac{1}{2}$ 鐃緒申鐃緒申鐃緒申鐃祝ならず鐃緒申蠅� 鐃夙わ申鐃銃どわ申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃叔わ申鐃初け鐃叔わ申鐃暑。

鐃緒申鐃緒申的鐃祝￥申鐃緒申 $\forall$ 鐃塾つわ申鐃緒申鐃術随申鐃祝つわ申鐃銃わ申鐃緒申鐃緒申(鐃緒申鐃淑わ申)鐃緒申鐃緒申鐃緒申鐃緒申 $\exists$ 鐃塾つわ申鐃緒申鐃術随申鐃祝つわ申鐃銃わ申鐃緒申鐃緒申(鐃緒た鐃緒申)鐃緒申鐃緒申鐃緒申鐃緒申鐃夙わ申鐃緒申鐃処う鐃緒申鐃緒申鐃淑�器申鬚靴董鐃緒申鐃緒申鐃緒申鐃緒申立鐃銃にわ申鐃緒申鐃淑�申鐃緒申鐃巡す鐃緒申鐃処う鐃叔わ申鐃暑。

鐃緒申鐃緒申 7.1 (鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申) $\exists$ , $\forall$ 鐃祝関わ申鐃緒申鐃駿ワ申2鐃緒申鐃緒申戰鐃�3鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃夙駕申鐃緒申鐃緒申鐃書きなわ申鐃緒申鐃緒申