（01）
① 馬は顔が長い。
② 象は鼻が長い。
③ 麒麟は首が長い。
従って、
（01）により、
（02）
① 馬は顔が長い。
といふ「日本語」は、
① 馬に限って言へば、（鼻でもなく、首でもなく）顔が長い。
といふ「意味」である。
然るに、
（03）
① 馬に限って言へば、顔が長い。
といふことは、
① それが馬であるならば、その顔は長い。
といふことである。
然るに、
（04）
① それが馬であるならば、その顔は長い。
といふことは、
① あるｘが馬であるならば、そのｘの顔は長い。といふことに関して、「例外」は無い。
といふことである。
然るに、
（05）
① あるｘが馬であるならば、そのｘの顔は長い。といふことに関して、「例外」は無い。
といふことは、
① すべてのｘについて、ｘが馬ならば、ｘの顔は長い。
といふことである。
然るに、
（06）
① すべてのｘについて、ｘが馬ならば、ｘの顔は長い。
といふことは、
① すべてのｘについて、ｘが馬ならば、ｘの顔である所のｙが存在して、ｙは長い。
といふことである。
然るに、
（07）
① すべてのｘについて、ｘが馬ならば、ｘの顔である所のｙが存在して、ｙは長い。
といふことは、
① すべてのｘについて、ｘが馬ならば、あるｙはｘの顔であり、ｙは長い。
といふことである。
然るに、
（08）
① すべてのｘについて、ｘが馬ならば、あるｙはｘの顔であり、ｙは長い。
といふことを、「記号」で書くと、
① ∀ｘ｛馬ｘ→∃ｙ（顔ｙｘ＆長ｙ）｝。
といふ、ことになる。
然るに、
（09）
① 顔は長い。
② 顔が長い。
に於いて、
① ⇒「顔以外も、長いのかも、知れない。」
② ⇒「顔以外は、長くない。」
然るに、
（10）
① ∀ｘ｛馬ｘ→∃ｙ（顔ｙｘ＆長ｙ）｝。
① すべてのｘについて、ｘが馬ならば、あるｙはｘの顔であり、ｙは長い。
であるならば、
① ⇒「顔以外も、長いのかも、知れない。」
然るに、
（11）
② ∀ｘ｛馬ｘ→∃ｙ（顔ｙｘ＆長ｙ）＆∀ｚ（～顔ｚｘ→～長ｚ）｝。
② すべてのｘについて、ｘが馬ならば、あるｙはｘの顔であり、ｙは長く、すべてのｚについて、ｚがｘの顔でないならば、ｚは長くない。
であるならば、
② ⇒「顔以外は、長くない。」
従って、
（01）～（11）により、
（12）
② 馬は顔が長い。
といふ「日本語」は、
② ∀ｘ｛馬ｘ→∃ｙ（顔ｙｘ＆長ｙ）＆∀ｚ（～顔ｚｘ→～長ｚ）｝。
といふ風に、「記号化」され、
② すべてのｘについて、ｘが馬ならば、あるｙはｘの顔であり、ｙは長く、すべてのｚについて、ｚがｘの顔でないならば、ｚは長くない。
といふ、「意味」である。
（13）
③ 花子は象であり、花子の鼻は長く、花子の鼻は顔ではない。
といふ「日本語」は、
③ ∃ｘ｛花子ｘ＆象ｘ＆∃ｚ（鼻ｚｘ＆長ｚ＆～顔ｚｘ）｝。
といふ風に、「記号化」され、
③ あるｘは花子であり、ｘは象であり、あるｚはｘの鼻であって長く、ｚはｘの顔ではない。
といふ、「意味」である。
（14）
④ 花子は象であって馬である。
といふ「日本語」は、
④ ∃ｘ（花子ｘ＆象ｘ＆馬ｘ）
といふ風に、「記号化」され、
④ あるｘは花子であって、象であって、馬である。
といふ、「意味」である。
然るに、
（15）
１ （１）∀ｘ｛馬ｘ→∃ｙ（顔ｙｘ＆長ｙ）＆∀ｚ（～顔ｚｘ→～長ｚ）｝ Ａ
１ （２） 馬ａ→∃ｙ（顔ｙａ＆長ｙ）＆∀ｚ（～顔ｚａ→～長ｚ） １ＵＥ
３ （３）∃ｘ｛花子ｘ＆象ｘ＆∃ｚ（鼻ｚｘ＆長ｚ＆～顔ｚｘ）｝ Ａ
４ （４） 花子ａ＆象ａ＆∃ｚ（鼻ｚａ＆長ｚ＆～顔ｚａ） Ａ
４ （５） ∃ｚ（鼻ｚａ＆長ｚ＆～顔ｚａ） ４＆Ｅ
６ （６） 鼻ｃａ＆長ｃ＆～顔ｃａ Ａ
７ （７）∃ｘ（花子ｘ＆象ｘ＆馬ｘ） Ａ
８（８） 花子ａ＆象ａ＆馬ａ Ａ
８（９） 馬ａ ８＆Ｅ
１ ８（ア） ∃ｙ（顔ｙａ＆長ｙ）＆∀ｚ（～顔ｚａ→～長ｚ） ２９ＭＰＰ
１ ８（イ） ∀ｚ（～顔ｚａ→～長ｚ） ア＆Ｅ
１ ８（ウ） ～顔ｃａ→～長ｃ イＵＥ
６ （エ） ～顔ｃａ ６＆Ｅ
１ ６ ８（オ） ～長ｃ ウエＭＰＰ
６ （カ） 長ｃ ６＆Ｅ
１ ６ ８（キ） 長ｃ＆～長ｃ オカ＆Ｉ
１ ６７ （ク） 長ｃ＆～長ｃ ７８キＥＥ
１ ４ ７ （ケ） 長ｃ＆～長ｃ ５６９ＥＥ
１３ ７ （コ） 長ｃ＆～長ｃ ３４ケＥＥ
１３ （サ）～∃ｘ（花子ｘ＆象ｘ＆馬ｘ） ７コＲＡＡ
１３ （シ）∀ｘ～（花子ｘ＆象ｘ＆馬ｘ） サ量化子の関係
１３ （ス） ～（花子ａ＆象ａ＆馬ａ） シＵＥ
１３ （セ） ～花子ａ∨～象ａ ∨～馬ａ ス、ド・モルガンの法則
１３ （ソ） （～花子ａ∨～象ａ）∨～馬ａ セ結合法則
１３ （タ） ～（花子ａ＆象ａ） ∨～馬ａ ソ、ド・モルガンの法則
１３ （チ） （花子ａ＆象ａ）→～馬ａ タ含意の定義
１３ （ツ）∀ｘ｛（花子ｘ＆象ｘ）→～馬ｘ｝ チＵＩ
従って、
（15）により、
（16）
∀ｘ｛馬ｘ→∃ｙ（顔ｙｘ＆長ｙ）＆∀ｚ（～顔ｚｘ→～長ｚ）｝，∃ｘ｛花子ｘ＆象ｘ＆∃ｚ（鼻ｚｘ＆長ｚ＆～顔ｚｘ）｝├ ∀ｘ｛（花子ｘ＆象ｘ）→～馬ｘ｝
といふ「推論」は「妥当」である。
従って、
（16）により、
（17）
すべてのｘについて、ｘが馬ならば、あるｙはｘの顔であり、ｙは長く、すべてのｚについて、ｚがｘの顔でないならば、ｚは長くない。然るに、あるｘは花子であり、ｘは象であり、あるｚはｘの鼻であって長く、ｚはｘの顔ではない。故に、いかなるｘであっても、ｘが花子であってｘが象であるならば、ｘは馬ではない。
従って、
（17）により、
（18）
馬は顔（だけ）が長い。然るに、花子は象であり、花子の鼻は長く、花子の鼻は顔ではない。故に、花子が象であるならば、（花子は）馬ではない。
といふ「推論」は「妥当」である。
然るに、
（19）
花子が象であるならば、花子は馬ではない。
といふことは、「当然」であって、「常識」である。
然るに、
（20）
∀ｘ｛馬ｘ→∃ｙ（顔ｙｘ＆長ｙ）＆∀ｚ（～顔ｚｘ→～長ｚ）｝，∃ｘ｛花子ｘ＆象ｘ＆∃ｚ（鼻ｚｘ＆長ｚ＆～顔ｚｘ）｝├ ∀ｘ｛（花子ｘ＆象ｘ）→～馬ｘ｝
といふ「推論（論理）」として「妥当」なのであって、この場合、「常識・云々」といふこととは、関係が無い。
（21）
2015年1月15日 MINNANOBLOG コメントをどうぞ
【馬の豆知識】
・馬の顔はなぜ長いのか
馬はとっても愛嬌のある顔をしています。
クリクリの目にピンと立った耳、そしてスラリと伸びた長い鼻。
平均的な体格の馬で顔の長さは約60センチ、そのうち鼻の長さは約40センチで、顔の長さのおよそ三分の二の長さを鼻が占めています。
従って、
（21）により、
（22）
「余談」になるものの、「馬は、鼻が長い」結果として、「馬は顔が長い」といふことになる。
① 馬は顔が長い。
② 象は鼻が長い。
③ 麒麟は首が長い。
従って、
（01）により、
（02）
① 馬は顔が長い。
といふ「日本語」は、
① 馬に限って言へば、（鼻でもなく、首でもなく）顔が長い。
といふ「意味」である。
然るに、
（03）
① 馬に限って言へば、顔が長い。
といふことは、
① それが馬であるならば、その顔は長い。
といふことである。
然るに、
（04）
① それが馬であるならば、その顔は長い。
といふことは、
① あるｘが馬であるならば、そのｘの顔は長い。といふことに関して、「例外」は無い。
といふことである。
然るに、
（05）
① あるｘが馬であるならば、そのｘの顔は長い。といふことに関して、「例外」は無い。
といふことは、
① すべてのｘについて、ｘが馬ならば、ｘの顔は長い。
といふことである。
然るに、
（06）
① すべてのｘについて、ｘが馬ならば、ｘの顔は長い。
といふことは、
① すべてのｘについて、ｘが馬ならば、ｘの顔である所のｙが存在して、ｙは長い。
といふことである。
然るに、
（07）
① すべてのｘについて、ｘが馬ならば、ｘの顔である所のｙが存在して、ｙは長い。
といふことは、
① すべてのｘについて、ｘが馬ならば、あるｙはｘの顔であり、ｙは長い。
といふことである。
然るに、
（08）
① すべてのｘについて、ｘが馬ならば、あるｙはｘの顔であり、ｙは長い。
といふことを、「記号」で書くと、
① ∀ｘ｛馬ｘ→∃ｙ（顔ｙｘ＆長ｙ）｝。
といふ、ことになる。
然るに、
（09）
① 顔は長い。
② 顔が長い。
に於いて、
① ⇒「顔以外も、長いのかも、知れない。」
② ⇒「顔以外は、長くない。」
然るに、
（10）
① ∀ｘ｛馬ｘ→∃ｙ（顔ｙｘ＆長ｙ）｝。
① すべてのｘについて、ｘが馬ならば、あるｙはｘの顔であり、ｙは長い。
であるならば、
① ⇒「顔以外も、長いのかも、知れない。」
然るに、
（11）
② ∀ｘ｛馬ｘ→∃ｙ（顔ｙｘ＆長ｙ）＆∀ｚ（～顔ｚｘ→～長ｚ）｝。
② すべてのｘについて、ｘが馬ならば、あるｙはｘの顔であり、ｙは長く、すべてのｚについて、ｚがｘの顔でないならば、ｚは長くない。
であるならば、
② ⇒「顔以外は、長くない。」
従って、
（01）～（11）により、
（12）
② 馬は顔が長い。
といふ「日本語」は、
② ∀ｘ｛馬ｘ→∃ｙ（顔ｙｘ＆長ｙ）＆∀ｚ（～顔ｚｘ→～長ｚ）｝。
といふ風に、「記号化」され、
② すべてのｘについて、ｘが馬ならば、あるｙはｘの顔であり、ｙは長く、すべてのｚについて、ｚがｘの顔でないならば、ｚは長くない。
といふ、「意味」である。
（13）
③ 花子は象であり、花子の鼻は長く、花子の鼻は顔ではない。
といふ「日本語」は、
③ ∃ｘ｛花子ｘ＆象ｘ＆∃ｚ（鼻ｚｘ＆長ｚ＆～顔ｚｘ）｝。
といふ風に、「記号化」され、
③ あるｘは花子であり、ｘは象であり、あるｚはｘの鼻であって長く、ｚはｘの顔ではない。
といふ、「意味」である。
（14）
④ 花子は象であって馬である。
といふ「日本語」は、
④ ∃ｘ（花子ｘ＆象ｘ＆馬ｘ）
といふ風に、「記号化」され、
④ あるｘは花子であって、象であって、馬である。
といふ、「意味」である。
然るに、
（15）
１ （１）∀ｘ｛馬ｘ→∃ｙ（顔ｙｘ＆長ｙ）＆∀ｚ（～顔ｚｘ→～長ｚ）｝ Ａ
１ （２） 馬ａ→∃ｙ（顔ｙａ＆長ｙ）＆∀ｚ（～顔ｚａ→～長ｚ） １ＵＥ
３ （３）∃ｘ｛花子ｘ＆象ｘ＆∃ｚ（鼻ｚｘ＆長ｚ＆～顔ｚｘ）｝ Ａ
４ （４） 花子ａ＆象ａ＆∃ｚ（鼻ｚａ＆長ｚ＆～顔ｚａ） Ａ
４ （５） ∃ｚ（鼻ｚａ＆長ｚ＆～顔ｚａ） ４＆Ｅ
６ （６） 鼻ｃａ＆長ｃ＆～顔ｃａ Ａ
７ （７）∃ｘ（花子ｘ＆象ｘ＆馬ｘ） Ａ
８（８） 花子ａ＆象ａ＆馬ａ Ａ
８（９） 馬ａ ８＆Ｅ
１ ８（ア） ∃ｙ（顔ｙａ＆長ｙ）＆∀ｚ（～顔ｚａ→～長ｚ） ２９ＭＰＰ
１ ８（イ） ∀ｚ（～顔ｚａ→～長ｚ） ア＆Ｅ
１ ８（ウ） ～顔ｃａ→～長ｃ イＵＥ
６ （エ） ～顔ｃａ ６＆Ｅ
１ ６ ８（オ） ～長ｃ ウエＭＰＰ
６ （カ） 長ｃ ６＆Ｅ
１ ６ ８（キ） 長ｃ＆～長ｃ オカ＆Ｉ
１ ６７ （ク） 長ｃ＆～長ｃ ７８キＥＥ
１ ４ ７ （ケ） 長ｃ＆～長ｃ ５６９ＥＥ
１３ ７ （コ） 長ｃ＆～長ｃ ３４ケＥＥ
１３ （サ）～∃ｘ（花子ｘ＆象ｘ＆馬ｘ） ７コＲＡＡ
１３ （シ）∀ｘ～（花子ｘ＆象ｘ＆馬ｘ） サ量化子の関係
１３ （ス） ～（花子ａ＆象ａ＆馬ａ） シＵＥ
１３ （セ） ～花子ａ∨～象ａ ∨～馬ａ ス、ド・モルガンの法則
１３ （ソ） （～花子ａ∨～象ａ）∨～馬ａ セ結合法則
１３ （タ） ～（花子ａ＆象ａ） ∨～馬ａ ソ、ド・モルガンの法則
１３ （チ） （花子ａ＆象ａ）→～馬ａ タ含意の定義
１３ （ツ）∀ｘ｛（花子ｘ＆象ｘ）→～馬ｘ｝ チＵＩ
従って、
（15）により、
（16）
∀ｘ｛馬ｘ→∃ｙ（顔ｙｘ＆長ｙ）＆∀ｚ（～顔ｚｘ→～長ｚ）｝，∃ｘ｛花子ｘ＆象ｘ＆∃ｚ（鼻ｚｘ＆長ｚ＆～顔ｚｘ）｝├ ∀ｘ｛（花子ｘ＆象ｘ）→～馬ｘ｝
といふ「推論」は「妥当」である。
従って、
（16）により、
（17）
すべてのｘについて、ｘが馬ならば、あるｙはｘの顔であり、ｙは長く、すべてのｚについて、ｚがｘの顔でないならば、ｚは長くない。然るに、あるｘは花子であり、ｘは象であり、あるｚはｘの鼻であって長く、ｚはｘの顔ではない。故に、いかなるｘであっても、ｘが花子であってｘが象であるならば、ｘは馬ではない。
従って、
（17）により、
（18）
馬は顔（だけ）が長い。然るに、花子は象であり、花子の鼻は長く、花子の鼻は顔ではない。故に、花子が象であるならば、（花子は）馬ではない。
といふ「推論」は「妥当」である。
然るに、
（19）
花子が象であるならば、花子は馬ではない。
といふことは、「当然」であって、「常識」である。
然るに、
（20）
∀ｘ｛馬ｘ→∃ｙ（顔ｙｘ＆長ｙ）＆∀ｚ（～顔ｚｘ→～長ｚ）｝，∃ｘ｛花子ｘ＆象ｘ＆∃ｚ（鼻ｚｘ＆長ｚ＆～顔ｚｘ）｝├ ∀ｘ｛（花子ｘ＆象ｘ）→～馬ｘ｝
といふ「推論（論理）」として「妥当」なのであって、この場合、「常識・云々」といふこととは、関係が無い。
（21）
2015年1月15日 MINNANOBLOG コメントをどうぞ
【馬の豆知識】
・馬の顔はなぜ長いのか
馬はとっても愛嬌のある顔をしています。
クリクリの目にピンと立った耳、そしてスラリと伸びた長い鼻。
平均的な体格の馬で顔の長さは約60センチ、そのうち鼻の長さは約40センチで、顔の長さのおよそ三分の二の長さを鼻が占めています。
従って、
（21）により、
（22）
「余談」になるものの、「馬は、鼻が長い」結果として、「馬は顔が長い」といふことになる。