象は鼻が長い（ので、耳が長い兎は象ではない）。

（ａ）『返り点と括弧』については、『「括弧」の「順番」（https://kannbunn.blogspot.com/2018/01/blog-post.html）』他をお読み下さい。
（ｂ）『返り点』については、『「返り点」の「付け方」を教へます（https://kannbunn.blogspot.com/2018/01/blog-post_3.html）』他をお読み下さい。
（01）
１　　　　　（１）象は鼻が長い。　Ａ
１　　　　　（〃）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝　Ａ
１　　　　　（〃）すべてのｘについて、ｘが象であるならば、有るｙはｘの鼻であって長く、すべてのｚについてｚがｘの鼻でないならば、ｚは長くない。　Ａ
　２　　　　（２）兎は耳が長い。　Ａ
　２　　　　（〃）∃ｘ｛兎ｘ＆∃ｚ（耳ｚｘ＆長ｚ＆～鼻ｚｘ）｝　　　　　　　　　Ａ
　２　　　　（〃）有るｘは兎であって、有るｚはｘの耳であって長く、ｚはｘの鼻ではない。　Ａ
１　　　　　（３）　　　象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）　　１ＵＥ
　　４　　　（４）　　　兎ａ＆∃ｚ（耳ｚａ＆長ｚ＆～鼻ｚａ）　　　　　　　　　　Ａ
　　４　　　（５）　　　　　　∃ｚ（耳ｚａ＆長ｚ＆～鼻ｚａ）　　　　　　　　　　４＆Ｅ
　　　６　　（６）　　　　　　　　　耳ｃａ＆長ｃ＆～鼻ｃａ　　　　　　　　　　　Ａ
　　　　７　（７）∃ｘ（兎ｘ＆象ｘ）　　　　　　　　　　　　　　　　　　　　　　Ａ
　　　　　８（８）　　　兎ａ＆象ａ　　　　　　　　　　　　　　　　　　　　　　　Ａ
　　　　　８（９）　　　　　　象ａ　　　　　　　　　　　　　　　　　　　　　　　８＆Ｅ
１　　　　８（ア）　　　　　　∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）　　３９ＭＰＰ
１　　　　８（イ）　　　　　　　　　　　　　　　　　∀ｚ（～鼻ｚａ→～長ｚ）　　ア＆Ｅ
１　　　　８（ウ）　　　　　　　　　　　　　　　　　　　　～鼻ｃａ→～長ｃ　　　イＵＥ
　　　６　　（エ）　　　　　　　　　　　　　　　　～鼻ｃａ　　　　　　　　　　　６＆Ｅ
１　　６　８（オ）　　　　　　　　　　　　　　　　　　　　　　　　　～長ｃ　　　ウエＭＰＰ
　　　６　　（カ）　　　　　　　　　　　　　長ｃ　　　　　　　　　　　　　　　　６＆Ｅ
１　　６　８（キ）　　　　　　　　　　　　　　　　　　　　　　長ｃ＆～長ｃ　　　オカ＆Ｉ
１　　６７　（ク）　　　　　　　　　　　　　　　　　　　　　　長ｃ＆～長ｃ　　　７８キＥＥ
１　４　７　（ケ）　　　　　　　　　　　　　　　　　　　　　　長ｃ＆～長ｃ　　　５６クＥＥ
１２　　７　（コ）　　　　　　　　　　　　　　　　　　　　　　長ｃ＆～長ｃ　　　２４ケＥＥ
１２　　　　（サ）～∃ｘ（兎ｘ＆　象ｘ）　　　　　　　　　　　　　　　　　　　　７コＲＡＡ
１２　　　　（シ）∀ｘ～（兎ｘ＆　象ｘ）　　　　　　　　　　　　　　　　　　　　サ量化子の関係
１２　　　　（ス）　　～（兎ａ＆　象ａ）　　　　　　　　　　　　　　　　　　　　シＵＥ
１２　　　　（セ）　　　～兎ａ∨～象ａ　　　　　　　　　　　　　　　　　　　　　ス、ド・モルガンの法則
１２　　　　（ソ）　　　　兎ａ→～象ａ　　　　　　　　　　　　　　　　　　　　　セ含意の定義
１２　　　　（タ）　∀ｘ（兎ｘ→～象ｘ）　　　　　　　　　　　　　　　　　　　　ソＵＩ
１２　　　　（〃）すべてのｘについて、ｘが兎ならば、ｘは象ではない。　　　　　　ソＵＩ
　　４　　　（チ）　　　　兎ａ　　　　　　　　　　　　　　　　　　　　　　　　　４＆Ｉ
１２４　　　（ツ）　　　　　　　～象ａ　　　　　　　　　　　　　　　　　　　　　ソチＭＰＰ
１２４　　　（テ）　　　　兎ａ＆～象ａ　　　　　　　　　　　　　　　　　　　　　チツ＆Ｉ
１２４　　　（ト）　∃ｘ（兎ｘ＆～象ｘ）　　　　　　　　　　　　　　　　　　　　テＥＩ
１２　　　　（ナ）　∃ｘ（兎ｘ＆～象ｘ）　　　　　　　　　　　　　　　　　　　　２４トＥＥ
１２　　　　（〃）有るｘは兎であって象ではない。　　　　　　　　　　　　　　　　２４トＥＥ
１２　　　　（〃）兎は象ではない。　　　　　　　　　　　　　　　　　　　　　　　２４トＥＥ
従って、
（01）により、
（02）
① 象は鼻が長い。
といふ「前提」から、
② 兎は象ではない。
といふ「結論」を得るためには、
① 象は鼻が長い。
といふ「命題」は、
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝
といふ風に、書かなければ、ならない。
従って、
（02）により、
（03）
『論理学』といふ「観点」から、
① 象は鼻が長い。
といふ「日本語」を論じるのであれば、
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝
といふ「述語論理」を、避けて通るべきではない。
然るに、
（04）
伝統論理学を速水滉『論理学』（016）で代表させよう。わたしのもっているのが四十三年の第十九冊一万部中の一冊で、なお引続き刊行だろうから、前後かなり多くの読者をもつ論理学書と考えられる。新興の記号論理学の方は、沢田充茂『現代論理学入門』（062）を参照することとする（三上章、日本語の論理、1963年、４頁）。
（05）
「象は鼻が長い」はどれが主辞がわからないから、このままでは非論理的な構造の文である、と言う人がもしあった（沢田『入門』二九ペ）とすれば、その人は旧『論理学』を知らない人であろう、これはこのままで、
　象は　鼻が長い。　
　主辞　賓辞
とはっきりしている。速水式に簡単明リョウである。意味も、主辞賓辞の関係も小学生にもわかるはずの文である。これに文句をつけたり、それを取り次いだりするのは、人々が西洋文法に巻かれていることを語る以外の何物でもない。このまま定理扱いしてもよろしい。そしてこの定理の逆は真でないとして、鼻の長いもの例に、鞍馬山の天狗だの、池の尾の禅珍内供だのを上げるのも一興だろう。それでおしまいである。
（三上章、日本語の論理、1963年、１３・１４頁）。
従って、
（03）（04）（05）により、
（06）
三上章先生は、「新興の記号論理学の方は、沢田充茂『現代論理学入門』（062）を参照することとする」一方で、
① 象は鼻が長い＝
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
といふ「論理式」に関しては、それを、論じることが無い。
平成３０年０８月１７日、毛利太。