（01）（ⅰ）１ （１）∀ｘ∃ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆（鼻ｘｙ＆～象ｙ）→～長ｘ｝ Ａ１ （２） ∃ｙ｛（鼻ａｙ＆象ｙ）→長ａ＆（鼻ａｙ＆～象ｙ）→～長ａ｝ １ＵＥ ３ （３） （鼻ａｂ＆象ｂ）→長ａ＆（鼻ａｂ＆～象ｂ）→～長ａ Ａ ３ （４） （鼻ａｂ＆象…

（01）１ （１）∀ｘ∃ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆（鼻ｘｙ＆～象ｙ）→～長ｘ｝ Ａ１ （２） ∃ｙ｛（鼻ａｙ＆象ｙ）→長ａ＆（鼻ａｙ＆～象ｙ）→～長ａ １ＵＥ ３ （３） （鼻ａｂ＆象ｂ）→長ａ＆（鼻ａｂ＆～象ｂ）→～長ａ Ａ ３ （４） （鼻ａｂ＆～象ｂ）→…

（01）１ （１） ∀ｘ（象ｘ→動ｘ） Ａ１ （２） 象ａ→動ａ １ＵＥ ３ （３） ～動ａ Ａ ４（４） 象ａ Ａ１ ４（５） 動ａ ２４ＭＰＰ１３４（６） ～動ａ＆動ａ ３５＆Ｉ１３ （７） ～象ａ ４６ＲＡＡ１ （８） ～動ａ→～象ａ ３７ＣＰ１ （９）∀ｘ（～動…

（01）１ （１） ∀ｘ（象ｘ→動ｘ） Ａ１ （２） 象ａ→動ａ １ＵＥ ３ （３） ～動ａ Ａ ４（４） 象ａ Ａ１ ４（５） 動ａ ２４ＭＰＰ１３４（６） ～動ａ＆動ａ ３５＆Ｉ１３ （７） ～象ａ ４６ＲＡＡ１ （８） ～動ａ→～象ａ ３７ＣＰ１ （９）∀ｘ（～動…

（01）① 犬は動物である（が、犬以外にも、動物はゐる）。② 犬は最古の家畜である（が、犬以外に、最古の家畜はゐない）。然るに、（02）Ａ⊆Ｂ：集合Ａは、集合Ｂの真部分集合である。Ａ＝Ｂ：集合Ａと、集合Ｂは等しい（２つの集合の要素が同じである）。従…

（01）① ＡはＢである。② ＡならばＢである。に於いて、①＝② である。（02）② ＡならばＢである。③（Ａであって、Ｂない。）といふことはない。に於いて、②＝③ である。（03）③（Ａであって、Ｂない。）といふことはない。④（ＢでなくてＡである。）といふこ…

（01）①「１」は「素数」ではなく、「偶数」でもない。②「２」は「素数」であって、「偶数」である。③「３」は「素数」であって、「偶数」ではない。④「４」は「素数」ではなく、「偶数」である。従って、（01）により、（02）Ｓ＝素数である。Ｇ＝偶数であ…

（01）① Ｐ→Ｐ② Ｐ→（Ｑ→Ｐ）③（（Ｐ→Ｑ）→Ｐ）→Ｐに於いて、① を、「同一律」といひ、② を、「ルカジェヴィッツの公理（１）」といひ、③ を、「パースの方法」といふ。（02） ―「含意の定義」の「証明」。―（ⅰ）１ （１） Ｐ→Ｑ Ａ ２ （２） ～（～Ｐ∨Ｑ）…

（01）（ⅰ） １（１）（Ｐ→Ｑ） Ａ １（２）（Ｐ⇔Ｑ）∨（Ｐ→Ｑ） １∨Ｉ（ⅱ）１ （１）（Ｐ⇔Ｑ）∨（Ｐ→Ｑ） Ａ ２ （２）（Ｐ⇔Ｑ） Ａ ２ （３）（Ｐ→Ｑ）＆（Ｑ→Ｐ） ２Ｄｆ．⇔ ２ （４）（Ｐ→Ｑ） ３＆Ｅ ５（５） （Ｐ→Ｑ） Ａ１ （６）（Ｐ→Ｑ） １２４５…

（01）①｛象，机｝であれば、①｛机｝は「動物」ではないため、①｛象｝が「動物」である。然るに、（02）②｛象，馬｝であれば、②｛象｝は「動物」であるとしも、②｛馬｝も「動物」であるため、②｛象｝が「動物」である。とは、言へない。従って、（01）（02）…

（01）（ⅰ）１ （１）∀ｘ｛（犯人ｘ）→（ｘ＝甲）∨（ｘ＝乙）｝ Ａ１ （２） （犯人ａ）→（ａ＝甲）∨（ａ＝乙） １ＵＥ ３ （３） （犯人ａ） Ａ１３ （４） （ａ＝甲）∨（ａ＝乙） ２３ＭＰＰ ５ （５） （ａ＝甲） Ａ ５ （６） ～（ａ≠甲） ５ＤＮ ５ （…

（01）（ⅰ）１ （１）∀ｘ｛犯人ｘ→（ｘ＝甲）∨（ｘ＝乙）｝ Ａ１ （２） 犯人ａ→（ａ＝甲）∨（ａ＝乙） １ＵＥ ３ （３） 犯人ａ Ａ１３ （４） （ａ＝甲）∨（ａ＝乙） ２３ＭＰＰ ５ （５） （ａ＝甲） Ａ ５ （６） ～（ａ≠甲） ５ＤＮ ５ （７） ～（ａ≠…

（01）① お爺さんと御婆さんがゐる。といふのであれば、①（今、目の前に）お爺さんと御婆さんがゐる。といふ「意味」である。従って、（01）により、（02）① お爺さんと御婆さんがゐる。といふのであれば、①（あるの時間の、ある場所に於いて）お爺さんと御…

（01）１ （１） ∃ｘ｛私ｘ＆∀ｙ（大野ｙ→ｘ＝ｙ）｝ Ａ ２ （２） 私ａ＆∀ｙ（大野ｙ→ａ＝ｙ） Ａ ２ （３） 私ａ ２＆Ｅ ２ （４） ∀ｙ（大野ｙ→ａ＝ｙ） ２＆Ｅ ２ （５） 大野ｂ→ａ＝ｂ ４ＵＥ ６ （６） 大野ｂ Ａ ２６ （７） ａ＝ｂ ５６ＭＰＰ ２６ …

（01）① ただ空の名残のみぞ惜しき（徒然草）。② ただ空の名残だけが惜しい（口語訳）。に於いて、①＝② である。ｃｆ.【惜し】失うにしのびない。惜しい。残念だ。捨てがたい。（旺文社、全訳学習古語辞典、2006年、９３１頁）従って、（02）① 空の名残のみ…