ド・モルガンが、明らかに健全であるにもかかわらず、伝統的論理学のわくぐみのなかでは取り扱うことができなかった論証とし挙げた、有名な、また簡単な論証がある。
There is famous and simple argument, cited by de Morgan as an example of a kind reasoning which, though patently sound, could not be handled within the framework of traditional logic.
（１）すべての馬は動物である。故にすべての馬の頭は動物の頭である（世界思想社、論理学初歩、1973年、１６７頁）。
（１）All horses are animals; therefore all horses'heads are animal's head（E.J.Lemmon,Beginning logic,1965,p131）.
（１）∀ｘ（馬（ｘ）→動物（ｘ））├ ∀ｘ（∃ｙ（馬（ｙ）＆頭（ｘｙ））→∃ｙ（動物（ｙ）＆頭（ｘｙ）））
然るに、
（02）
然るに、
（03）
∀ｘ（∃ｙ（馬（ｙ）＆頭（ｘｙ））→∃ｙ（動物（ｙ）＆頭（ｘｙ）））＝
∀ｘ［∃ｙ〔馬（ｙ）＆頭（ｘｙ）〕→∃ｙ〔動物（ｙ）＆頭（ｘｙ）〕］⇒
［〔（ｙ）馬＆（ｘｙ）頭〕∃ｙ→∃ｙ〔（ｙ）動物＆（ｘｙ）頭〕］∀ｘ＝
［〔（ｙは）馬であって、尚且つ（ｘはｙの）頭である。〕といふ、そのやうなｙが存在するならば〔（ｙは）動物であり、尚且つ、（ｘはｙの）頭〕である。といふそのやうなｙが存在する］といふことは、全てのｘに於いて、正しい。
従って、
（01）（02）（03）により、
（04）
「返り点」の代はりに、「括弧」を、「述語論理」に対して、用ゐることは可能である。
（05）
～＝ではない。
∨＝または、
＆＝尚且つ、
→＝ならば、
（ ）＝といふ
∃ｘ＝そのやうなｘが存在する。
∀ｘ＝ことは、全てのｘに於いて、正しい。
といふ風に、「定義」する。
（06）
① ∀ｘ（∃ｙ（親（ｘｙ）））
② ∀ｘ（∃ｙ（親（ｙｘ）））
③ ∃ｘ（∀ｙ（親（ｘｙ）））
④ ∃ｘ（∀ｙ（親（ｙｘ）））
に於いて、
その右側が、（ ）と接してゐる限り、より内側の（ ）の中を先に読む。
とするならば、
① ｘｙ 親 ∃ｙ ∀ｘ
② ｙｘ 親 ∃ｙ ∀ｘ
③ ｘｙ 親 ∀ｙ ∃ｘ
③ ｙｘ 親 ∀ｙ ∃ｘ
といふ「順番」で、読むことになる。
然るに、
（07）
① ∀ｘ（∃ｙ（親（ｘｙ）））
といふ風に、並んでゐるそれを、
① ｘｙ 親 ∃ｙ ∀ｘ
といふ「順番」で読むといふことは、
① ∀ｘ（∃ｙ（親（ｘｙ）））
に於いて、
① ∀ｘ（ ）⇒（ ）∀ｘ
① ∃ｙ（ ）⇒（ ）∃ｙ
① 親（ ）⇒（ ）親
といふ「倒置」を行ふことに、等しい。
然るに、
（06）（07）により、
（08）
① ∀ｘ（∃ｙ（親（ｘｙ）））＝
① （（（ｘはｙの）親である。）といふ、そのやうなｙが存在する。）といふことは、全てのｘに於いて、正しい。
（06）（07）により、
（09）
② ∀ｘ（∃ｙ（親（ｙｘ）））＝
② （（（ｙはｘの）親である。）といふ、そのやうなｙが存在する。）といふことは、全てのｘに於いて、正しい。
（06）（07）により、
（10）
③ ∃ｘ（∀ｙ（親（ｘｙ）））＝
③ （（（ｘがｙの）親である。）といふことが、全てのｙに於いて、正しい。）といふ、そのやうなｘが存在する。
（06）（07）により、
（11）
④ ∃ｘ（∀ｙ（親（ｙｘ）））＝
④ （（（ｙはｘの）親である。）といふことが、全てのｙに於いて、正しい。）といふ、そのやうなｘが存在する。
然るに、
（12）
① （（（ｘはｙの）親である。）といふ、そのやうなｙが存在する。）といふことは、全てのｘに於いて、正しい。
① （（（ｙはｘの）子である。）といふ、そのやうなｙが存在する。）といふことは、全てのｘに於いて、正しい。
といふことは、
① サザエさんの家の、タラちゃんを含めて、全ての人に、子供がゐる。
といふことを、意味してゐるものの、タラちゃん（三才）に、子供はゐない。
（13）
② (（（ｙはｘの）親である。）といふ、そのやうなｙが存在する。）といふことは、全てのｘに於いて、正しい。
② (（（ｘはｙの）子である。）といふ、そのやうなｙが存在する。）といふことは、全てのｘに於いて、正しい。
といふことは、
② 全ての人には、親がゐる。
② take any x:there is a y such that y is parent of x（E.J.Lemmon,Beginning logic,1965,p99）.
② 任意のｘを選ぶとせよ。するとｙがｘの親であるようなｙが存在する（世界思想社、論理学初歩、1973年、１２６頁改）。
といふ意味である。
（14）
③ （（（ｘがｙの）親である。）といふことが、全てのｙに於いて、正しい。）といふ、そのやうなｘが存在する。
③ （（（ｙがｘの）子である。）といふことが、全てのｙに於いて、正しい。）といふ、そのやうなｘが存在する。
といふことは、
③ 全人類の親である人が、ゐる。
③ その人には、約７５億人の子供がゐる。
といふ、意味である。
（15）
④ （（（ｙはｘの）親である。）といふことが、全てのｙに於いて、正しい。）といふ、そのやうなｘが存在する。
④ （（（ｘはｙの）子である。）といふことが、全てのｙに於いて、正しい。）といふ、そのやうなｘが存在する。
といふことは、
④ タラちゃんの子供であって、尚且つ、サザエさんの子供であり、尚且つ、オバマの子供であって、尚且つ、あなたの子供である所の、誰かがゐる。
といふことに、他ならない。
然るに、
（16）
① 子供のゐない夫婦は、いくらでもゐるし、タラちゃん（三才）に、子供はゐない。
③ ＤＮＡから見て、全人類が、或る人の子供である。といふことは、有り得ない。
④ ＤＮＡから見て、全人類が、或る人の親 である。といふことは、尚のこと、有り得ない。
ｃｆ.
③ しばしば誤解を受けるが、彼女は「同世代で唯一、現生人類に対し子孫を残すことができた女性」ではない。
（ウィキペディア：ミトコンドリア・イブ）
従って、
（08）～（16）により、
（17）
① ∀ｘ（∃ｙ（親（ｘｙ）））
② ∀ｘ（∃ｙ（親（ｙｘ）））
③ ∃ｘ（∀ｙ（親（ｘｙ）））
④ ∃ｘ（∀ｙ（親（ｙｘ）））
に於いて、
② だけが、「真（本当）」である。
（18）
⑤ ∃ｘ（少女（ｘ）＆∀ｙ（少年（ｙ）→愛（ｙｘ）））
⑥ ∀ｘ（少年（ｘ）→∃ｙ（少女（ｙ）＆愛（ｘｙ）））
⑦ ∀ｘ（綺麗（ｘ）＆少女（ｘ）→∀ｙ（水夫（ｙ）→愛（ｘｙ）））
に於いて、
左から右へ読むものの、その右側が、（ ）と接してゐる限り、より内側の（ ）の中を先に読む。
のであれば、
⑤ ｘ 少女 ＆ ｙ 少年 → ｙｘ 愛 ∀ｙ ∃ｘ
⑥ ｘ 少年 → ｙ 少女 ＆ ｘｙ 愛 ∃ｙ ∀ｘ
⑦ ｘ 綺麗 ＆ ｘ 少女 → ｙ 水夫 ｘｙ ∀ｙ ∀ｘ
といふ「順番」で、読むことになる。
然るに、
（19）
⑤ ∃ｘ（少女（ｘ）＆∀ｙ（少年（ｙ）→愛（ｙｘ）））
といふ風に、並んでゐるそれを、
⑤ ｘ 少女 ＆ ｙ 少年 → ｙｘ 愛 ∀ｙ ∃ｘ
といふ「順番」で読むといふことは、
⑤ ∃ｘ（少女（ｘ）＆∀ｙ（少年（ｙ）→愛（ｙｘ）））
に於いて、
⑤ ∃ｘ（ ）⇒（ ）∃ｘ
⑤ 少女（ ）⇒（ ）少女
⑤ ∀ｙ（ ）⇒（ ）∀ｙ
⑤ 少年（ ）⇒（ ）少年
⑤ 愛（ ）⇒（ ）愛
といふ「倒置」を行ふことに、等しい。
（20）
⑤ ∃ｘ（少女（ｘ）＆∀ｙ（少年（ｙ）→愛（ｙｘ）））
に於いて、
左から右へ読むものの、その右側が、（ ）と接してゐる限り、より内側の（ ）の中を先に読む。
のであれば、
⑤ （（ｘは）少女であって、尚且つ、（（ｙが）少年である、ならば、（ｙはｘを）愛してゐる。）といふことが、全てのｙに於いて、正しい。）といふ、そのやうなｘが存在する。
といふ風に、読むことが、出来る。
然るに、
（21）
⑤ （（ｘは）少女であって、尚且つ、（（ｙが）少年である、ならば、（ｙはｘを）愛してゐる。）といふことが、全てのｙに於いて、正しい。）といふ、そのやうなｘが存在する。
といふことは、「少女ｘは、全少年によって愛されてゐる所の、スーパーアイドルである。」といふことに、他ならない。
（22）
⑥ ∀ｘ（少年（ｘ）→∃ｙ（少女（ｙ）＆愛（ｘｙ）））
に於いて、
左から右へ読むものの、その右側が、（ ）と接してゐる限り、より内側の（ ）の中を先に読む。
のであれば、
⑥ （（ｘが）少年であるならば、（（ｙは）少女であって、尚且つ、（ｘはｙを）愛してゐる。）といふ、そのやうなｙが存在する。）といふことは、全てのｘに於いて、正しい。
といふ風に、読むことが、出来る。
然るに、
（23）
⑥ （（ｘが）少年であるならば、（（ｙは）少女であって、尚且つ、（ｘはｙを）愛してゐる。）といふ、そのやうなｙが存在する。）といふことは、全てのｘに於いて、正しい。
といふことは、「全ての少年には、愛してゐる所の少女がゐる。」といふことに、他ならない。
然るに、
（24）
⑥ ∃ｙ（少女（ｙ）＆愛（ｘｙ））
といふのは、
⑥ そのやうな少女が、少なくとも、一人ゐる。
といふ、意味である。
しかしながら、
（25）
「全ての少年には、愛してゐる所の少女がゐる。」といふことは、普通は、
「全ての少年は、それぞれが、別の少女を愛してゐて、出来れば、その少女と結婚したい。」といふ場合である。
従って、
（26）
⑦ ∀ｘ（綺麗（ｘ）＆少女（ｘ）→∀ｙ（水夫（ｙ）→愛（ｘｙ）））
に於いて、
左から右へ読むものの、その右側が、（ ）と接してゐる限り、より内側の（ ）の中を先に読む。
のであれば、
⑦ （（ｘが）綺麗で、尚且つ、（ｘが）少女であるならば、（（ｙが）水夫であるならば、（ｘはｙを）愛してゐる。）といふことが、全てのｙに於いて、正しい。））といふことは、全てのｘに於いて、正しい。
といふ風に、読むことが、出来る。
然るに、
（27）
⑦ （（ｘが）綺麗で、尚且つ、（ｘが）少女であるならば、（（ｙが）水夫であるならば、（ｘはｙを）愛してゐる。）といふことが、全てのｙに於いて、正しい。））といふことは、全てのｘに於いて、正しい。
といふことは、「全ての綺麗な少女は、水夫であれば、それだけで、その水夫を愛してゐる。」
従って、
（08）～（16）により、
（17）
① ∀ｘ（∃ｙ（親（ｘｙ）））
② ∀ｘ（∃ｙ（親（ｙｘ）））
③ ∃ｘ（∀ｙ（親（ｘｙ）））
④ ∃ｘ（∀ｙ（親（ｙｘ）））
に於いて、
② だけが、「真（本当）」である。
（18）
⑤ ∃ｘ（少女（ｘ）＆∀ｙ（少年（ｙ）→愛（ｙｘ）））
⑥ ∀ｘ（少年（ｘ）→∃ｙ（少女（ｙ）＆愛（ｘｙ）））
⑦ ∀ｘ（綺麗（ｘ）＆少女（ｘ）→∀ｙ（水夫（ｙ）→愛（ｘｙ）））
に於いて、
左から右へ読むものの、その右側が、（ ）と接してゐる限り、より内側の（ ）の中を先に読む。
のであれば、
⑤ ｘ 少女 ＆ ｙ 少年 → ｙｘ 愛 ∀ｙ ∃ｘ
⑥ ｘ 少年 → ｙ 少女 ＆ ｘｙ 愛 ∃ｙ ∀ｘ
⑦ ｘ 綺麗 ＆ ｘ 少女 → ｙ 水夫 ｘｙ ∀ｙ ∀ｘ
といふ「順番」で、読むことになる。
然るに、
（19）
⑤ ∃ｘ（少女（ｘ）＆∀ｙ（少年（ｙ）→愛（ｙｘ）））
といふ風に、並んでゐるそれを、
⑤ ｘ 少女 ＆ ｙ 少年 → ｙｘ 愛 ∀ｙ ∃ｘ
といふ「順番」で読むといふことは、
⑤ ∃ｘ（少女（ｘ）＆∀ｙ（少年（ｙ）→愛（ｙｘ）））
に於いて、
⑤ ∃ｘ（ ）⇒（ ）∃ｘ
⑤ 少女（ ）⇒（ ）少女
⑤ ∀ｙ（ ）⇒（ ）∀ｙ
⑤ 少年（ ）⇒（ ）少年
⑤ 愛（ ）⇒（ ）愛
といふ「倒置」を行ふことに、等しい。
（20）
⑤ ∃ｘ（少女（ｘ）＆∀ｙ（少年（ｙ）→愛（ｙｘ）））
に於いて、
左から右へ読むものの、その右側が、（ ）と接してゐる限り、より内側の（ ）の中を先に読む。
のであれば、
⑤ （（ｘは）少女であって、尚且つ、（（ｙが）少年である、ならば、（ｙはｘを）愛してゐる。）といふことが、全てのｙに於いて、正しい。）といふ、そのやうなｘが存在する。
といふ風に、読むことが、出来る。
然るに、
（21）
⑤ （（ｘは）少女であって、尚且つ、（（ｙが）少年である、ならば、（ｙはｘを）愛してゐる。）といふことが、全てのｙに於いて、正しい。）といふ、そのやうなｘが存在する。
といふことは、「少女ｘは、全少年によって愛されてゐる所の、スーパーアイドルである。」といふことに、他ならない。
（22）
⑥ ∀ｘ（少年（ｘ）→∃ｙ（少女（ｙ）＆愛（ｘｙ）））
に於いて、
左から右へ読むものの、その右側が、（ ）と接してゐる限り、より内側の（ ）の中を先に読む。
のであれば、
⑥ （（ｘが）少年であるならば、（（ｙは）少女であって、尚且つ、（ｘはｙを）愛してゐる。）といふ、そのやうなｙが存在する。）といふことは、全てのｘに於いて、正しい。
といふ風に、読むことが、出来る。
然るに、
（23）
⑥ （（ｘが）少年であるならば、（（ｙは）少女であって、尚且つ、（ｘはｙを）愛してゐる。）といふ、そのやうなｙが存在する。）といふことは、全てのｘに於いて、正しい。
といふことは、「全ての少年には、愛してゐる所の少女がゐる。」といふことに、他ならない。
然るに、
（24）
⑥ ∃ｙ（少女（ｙ）＆愛（ｘｙ））
といふのは、
⑥ そのやうな少女が、少なくとも、一人ゐる。
といふ、意味である。
しかしながら、
（25）
「全ての少年には、愛してゐる所の少女がゐる。」といふことは、普通は、
「全ての少年は、それぞれが、別の少女を愛してゐて、出来れば、その少女と結婚したい。」といふ場合である。
従って、
（26）
⑦ ∀ｘ（綺麗（ｘ）＆少女（ｘ）→∀ｙ（水夫（ｙ）→愛（ｘｙ）））
に於いて、
左から右へ読むものの、その右側が、（ ）と接してゐる限り、より内側の（ ）の中を先に読む。
のであれば、
⑦ （（ｘが）綺麗で、尚且つ、（ｘが）少女であるならば、（（ｙが）水夫であるならば、（ｘはｙを）愛してゐる。）といふことが、全てのｙに於いて、正しい。））といふことは、全てのｘに於いて、正しい。
といふ風に、読むことが、出来る。
然るに、
（27）
⑦ （（ｘが）綺麗で、尚且つ、（ｘが）少女であるならば、（（ｙが）水夫であるならば、（ｘはｙを）愛してゐる。）といふことが、全てのｙに於いて、正しい。））といふことは、全てのｘに於いて、正しい。
といふことは、「全ての綺麗な少女は、水夫であれば、それだけで、その水夫を愛してゐる。」
といふことになる。
然るに、
（28）
綺麗な少女ｘとして、
ｘ＝オリーブオイル であるならば、
ｘ＝オリーブオイル は、
ｙ＝ポパイ だけを、愛してゐる。と思はれる。
それ故、
（26）（28）により、
（29）
⑦ ∀ｘ（綺麗（ｘ）＆少女（ｘ）→∀ｙ（水夫（ｙ）→愛（ｘｙ）））＝
⑦ （（ｘが）綺麗で、尚且つ、（ｘが）少女であるならば、（（ｙが）水夫であるならば、（ｘはｙを）愛してゐる。）といふことが、全てのｙに於いて、正しい。））といふことは、全てのｘに於いて、正しい。
といふ「述語論理」は、常識的には、「偽（ウソ）」である。
（30）
Ｐ→Ｑ＝～Ｐ∨Ｑ
は、「含意の定義」である。
従って、
（30）により、
（31）
⑦ ∀ｙ（水夫（ｙ）→愛（ｘｙ）） は、
⑦ ∀ｙ（～（水夫（ｙ））∨愛（ｘｙ））に等しい。
従って、
（29）（31）により、
（32）
⑦ ∀ｘ（綺麗（ｘ）＆少女（ｘ）→∀ｙ（水夫（ｙ）→愛（ｘｙ）））＝
⑦ ∀ｘ（綺麗（ｘ）＆少女（ｘ）→∀ｙ（～（水夫（ｙ））∨愛（ｘｙ）））
従って、
（01）～（32）により、
（33）
いづれにせよ、
① ∀ｘ（∃ｙ（親（ｘｙ）））
② ∀ｘ（∃ｙ（親（ｙｘ）））
③ ∃ｘ（∀ｙ（親（ｘｙ）））
④ ∃ｘ（∀ｙ（親（ｙｘ）））
⑤ ∃ｘ（少女（ｘ）＆∀ｙ（少年（ｙ）→愛（ｙｘ）））
⑥ ∀ｘ（少年（ｘ）→∃ｙ（少女（ｙ）＆愛（ｘｙ）））
⑦ ∀ｘ（綺麗（ｘ）＆少女（ｘ）→∀ｙ（～（水夫（ｙ））∨愛（ｘｙ）））
⑧ ∀ｘ（∃ｙ（馬（ｙ）＆頭（ｘｙ））→∃ｙ（動物（ｙ）＆頭（ｘｙ）））
といふ「述語論理」は、
左から右へ読むものの、その右側が、（ ）と接してゐる限り、より内側の（ ）の中を先に読む。
といふ「ルール」に従ふことによって、「漢文訓読」ならぬ、「述語論理訓読」を、行ふことが、可能となる。
従って、
（33）により、
（34）
「すべての人間は死ぬ」という文は
∀ｘ（Ｈ（ｘ）→Ｍ（ｘ））
となる。∀は全称記号と呼ばれる。「すべて」を意味するＡｌｌのＡをひっくり返した記号である。
（月本洋、日本語は論理的である、2009年、１１４頁）
に於ける、
∀ｘ（Ｈ（ｘ）→Ｍ（ｘ））
の場合も、
左から右へ読むものの、その右側が、（ ）と接してゐる限り、より内側の（ ）の中を先に読む。
といふ「ルール」に従って、
（（ｘが）人間であるならば、（ｘは）死ぬ。）といふことは、全てのｘに於いて、正しい。
といふ風に、「訓読」することが、可能となる。
然るに、
（35）
① ∀ｘ（∃ｙ（親（ｘｙ）））
② ∀ｘ（∃ｙ（親（ｙｘ）））
③ ∃ｘ（∀ｙ（親（ｘｙ）））
④ ∃ｘ（∀ｙ（親（ｙｘ）））
⑨ ∀ｘ（Ｈ（ｘ）→Ｍ（ｘ））
といふ「記号」は、「論理学初歩 単行本 ? 1992E.J.レモン (著), 竹尾 治一郎 (翻訳), 浅野 楢英 (翻訳)」に従ふと、
① （ｘ）（∃ｙ）Ｐｘｙ
② （ｘ）（∃ｙ）Ｐｙｘ
③ （∃ｘ）（ｙ）Ｐｘｙ
④ （∃ｘ）（ｙ）Ｐｙｘ
⑨ （ｘ）（Ｈｘ→Ｍｘ）
といふ風に、「記号化」される。
従って、
（33）（34）（35）により、
（36）
① （ｘ）（∃ｙ）Ｐｘｙ
② （ｘ）（∃ｙ）Ｐｙｘ
③ （∃ｘ）（ｙ）Ｐｘｙ
④ （∃ｘ）（ｙ）Ｐｙｘ
⑨ （ｘ）（Ｈｘ→Ｍｘ）
といふ「述語論理」を、「訓読」するためには、
① ∀ｘ（∃ｙ（親（ｘｙ）））
② ∀ｘ（∃ｙ（親（ｙｘ）））
③ ∃ｘ（∀ｙ（親（ｘｙ）））
④ ∃ｘ（∀ｙ（親（ｙｘ）））
⑨ ∀ｘ（人（ｘ）→死（ｘ））
といふ風に、「書き換へ」る、必要が有る。
平成２８年０３月１１日、毛利太。
然るに、
（28）
綺麗な少女ｘとして、
ｘ＝オリーブオイル であるならば、
ｘ＝オリーブオイル は、
ｙ＝ポパイ だけを、愛してゐる。と思はれる。
それ故、
（26）（28）により、
（29）
⑦ ∀ｘ（綺麗（ｘ）＆少女（ｘ）→∀ｙ（水夫（ｙ）→愛（ｘｙ）））＝
⑦ （（ｘが）綺麗で、尚且つ、（ｘが）少女であるならば、（（ｙが）水夫であるならば、（ｘはｙを）愛してゐる。）といふことが、全てのｙに於いて、正しい。））といふことは、全てのｘに於いて、正しい。
といふ「述語論理」は、常識的には、「偽（ウソ）」である。
（30）
Ｐ→Ｑ＝～Ｐ∨Ｑ
は、「含意の定義」である。
従って、
（30）により、
（31）
⑦ ∀ｙ（水夫（ｙ）→愛（ｘｙ）） は、
⑦ ∀ｙ（～（水夫（ｙ））∨愛（ｘｙ））に等しい。
従って、
（29）（31）により、
（32）
⑦ ∀ｘ（綺麗（ｘ）＆少女（ｘ）→∀ｙ（水夫（ｙ）→愛（ｘｙ）））＝
⑦ ∀ｘ（綺麗（ｘ）＆少女（ｘ）→∀ｙ（～（水夫（ｙ））∨愛（ｘｙ）））
従って、
（01）～（32）により、
（33）
いづれにせよ、
① ∀ｘ（∃ｙ（親（ｘｙ）））
② ∀ｘ（∃ｙ（親（ｙｘ）））
③ ∃ｘ（∀ｙ（親（ｘｙ）））
④ ∃ｘ（∀ｙ（親（ｙｘ）））
⑤ ∃ｘ（少女（ｘ）＆∀ｙ（少年（ｙ）→愛（ｙｘ）））
⑥ ∀ｘ（少年（ｘ）→∃ｙ（少女（ｙ）＆愛（ｘｙ）））
⑦ ∀ｘ（綺麗（ｘ）＆少女（ｘ）→∀ｙ（～（水夫（ｙ））∨愛（ｘｙ）））
⑧ ∀ｘ（∃ｙ（馬（ｙ）＆頭（ｘｙ））→∃ｙ（動物（ｙ）＆頭（ｘｙ）））
といふ「述語論理」は、
左から右へ読むものの、その右側が、（ ）と接してゐる限り、より内側の（ ）の中を先に読む。
といふ「ルール」に従ふことによって、「漢文訓読」ならぬ、「述語論理訓読」を、行ふことが、可能となる。
従って、
（33）により、
（34）
「すべての人間は死ぬ」という文は
∀ｘ（Ｈ（ｘ）→Ｍ（ｘ））
となる。∀は全称記号と呼ばれる。「すべて」を意味するＡｌｌのＡをひっくり返した記号である。
（月本洋、日本語は論理的である、2009年、１１４頁）
に於ける、
∀ｘ（Ｈ（ｘ）→Ｍ（ｘ））
の場合も、
左から右へ読むものの、その右側が、（ ）と接してゐる限り、より内側の（ ）の中を先に読む。
といふ「ルール」に従って、
（（ｘが）人間であるならば、（ｘは）死ぬ。）といふことは、全てのｘに於いて、正しい。
といふ風に、「訓読」することが、可能となる。
然るに、
（35）
① ∀ｘ（∃ｙ（親（ｘｙ）））
② ∀ｘ（∃ｙ（親（ｙｘ）））
③ ∃ｘ（∀ｙ（親（ｘｙ）））
④ ∃ｘ（∀ｙ（親（ｙｘ）））
⑨ ∀ｘ（Ｈ（ｘ）→Ｍ（ｘ））
といふ「記号」は、「論理学初歩 単行本 ? 1992E.J.レモン (著), 竹尾 治一郎 (翻訳), 浅野 楢英 (翻訳)」に従ふと、
① （ｘ）（∃ｙ）Ｐｘｙ
② （ｘ）（∃ｙ）Ｐｙｘ
③ （∃ｘ）（ｙ）Ｐｘｙ
④ （∃ｘ）（ｙ）Ｐｙｘ
⑨ （ｘ）（Ｈｘ→Ｍｘ）
といふ風に、「記号化」される。
従って、
（33）（34）（35）により、
（36）
① （ｘ）（∃ｙ）Ｐｘｙ
② （ｘ）（∃ｙ）Ｐｙｘ
③ （∃ｘ）（ｙ）Ｐｘｙ
④ （∃ｘ）（ｙ）Ｐｙｘ
⑨ （ｘ）（Ｈｘ→Ｍｘ）
といふ「述語論理」を、「訓読」するためには、
① ∀ｘ（∃ｙ（親（ｘｙ）））
② ∀ｘ（∃ｙ（親（ｙｘ）））
③ ∃ｘ（∀ｙ（親（ｘｙ）））
④ ∃ｘ（∀ｙ（親（ｙｘ）））
⑨ ∀ｘ（人（ｘ）→死（ｘ））
といふ風に、「書き換へ」る、必要が有る。
平成２８年０３月１１日、毛利太。
0 件のコメント:
コメントを投稿