さて，今回のテーマは以下2つの似通った文章の違いはなんであろうか，ということにする．
∀手1，∃手2 s.t. 手2は手1に勝つ ・・・(1)
∃手1 s.t. ∀手2 に手1は勝つ ・・・(2)
量子化記号∀，∃は前回の「量子化記号①」やどこか別のサイトや資料にて把握していただけているものとする．
以下では，2つの違いについての解説（解答）を記載するが，多少の余暇があるのであれば，どちらがどちらであるのか考えてみるのも面白いと思う．
・・・
本来，数学等で使用される記号というのは，わかりやすく誤解を与えないために生み出されるのが常であり，量子化記号ももちろんそれから外れているわけではない．しかし，もちろん慣れというのは何事にも必要であるため，まずは(1),(2)の文章を（できる限り）一般的な日本語のレベルまで落としてみよう．
「∀手1，∃手2 s.t. 手2は手1に勝つ 」・・・(1)
すべてのじゃんけんの手1に対し，あるじゃんけんの手2があり，それは手1に勝つ．
「∃手1 s.t. ∃手2 に手1は勝つ」・・・(2)
あるじゃんけんの手1があり，それはすべてのじゃんけんの手2に勝つことができる．
さて，多少はわかりやすくなったであろうか．
(1)は前回の解説の通り，じゃんけんの一般的なルールを表している．
つまり，「すべてのじゃんけんの手には，それぞれ勝てる相手が存在する」という意味である．（グーはチョキに勝ち，チョキはパーに勝ち，パーはグーに勝つという具合に）
これは，じゃんけんの一般的なルールを表しているため，(1)の文章を命題とすればこれは"真"である．
さて，では（2)はどうであろう．
(2)をもっとわかりやすく砕いて書くと「じゃんけんのすべての手に勝てる手が存在する」ということである．
つまり，相手がグーであろうとチョキであろうとパーであろうと関係なく，買ってしまう手が存在するということである．
・・・もちろんそんなものは存在しない．（命題とすれば"偽"である）
この(1)と(2)の式の違いの話は，∃と∀の順序の違いで意味が多きく変わるわかりやすい例である．数学のような論理の文章は細かく注意深く読まなければ，少しの誤解で大きく意味を取り違えてしまうため気を付けなければならない．
さて，以下余談であるが，筆者が小学生の頃，親指と人差し指だけを立てて拳銃の形にしたような手をグーチョキパーのすべてを表す手とする冗談があった．なぜすべてを表すのかは，手の形から推察してもらいたい．
つまり，(2)の式を満たす "かのような" 最強の手である．（これはわたしのいた小学校だけのローカルだったのであろうか）
この最強の手（これを"ケンジュウ"とする）を本来の手グー，チョキ，パーに加えてみたら，という仮定を考えてみよう．つまり，じゃんけんをグー，チョキ，パー，ケンジュウの4つの手で行うのだ．
さて，この新たなルールにおけるじゃんけんにおいては，命題(2)は真となりうるのであろ
うか．
（あえて，これの答えは書かないが，少し考えればある"パラドックス"が生じるはずである）
