日本語の「は」と「が」について。

象は鼻が長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
とりあえず「三上文法」を「批判」します。

（14）「明日は物忌みなるを（蜻蛉日記）」の「は」について。

2018-03-23 10:39:32 | 「は」と「が」
（01）
［訳］明日は物忌みなるを、門強く鎖せよ。
［訳］明日は物忌みなので、門をしっかり閉めなさい。
（中村菊一、基礎からわかる古典文法、1978年、１７０・１７１頁）
従って、
（01）により、
（02）
① 明日は物忌みなるを（平安時代）、　
② 明日は物忌みなので（平成時代）、
に於いて、
①＝② である。
然るに、
（03）
Ａ＝明日は物忌みである。
Ｂ＝門をしっかり閉める。
であるとする。
従って、
（03）により、
（04）
① 　　Ａ＆　Ｂ　＝明日は物忌みなので、門をしっかり閉める。
② ～（Ａ→～Ｂ）＝明日が物忌みならば、門をしっかり閉めない。といふことはない。
である。
然るに、
（05）
（ａ）
１　　　（１）　　　Ａ＆　Ｂ　　　　　　　　　　仮定
　２　　（２）　　～Ａ∨～Ｂ　　　　　　　　　　仮定
　　３　（３）　　～Ａ　　　　　　　　　　　　　仮定
１　　　（４）　　　Ａ　　　　　　　　　　　　　１＆除去
１　３　（５）　　～Ａ＆　Ａ　　　　　　　　　　３４＆導入
　　３　（６）　～（Ａ＆　Ｂ）　　　　　　　　　１５背理法
　　　７（７）　　　　　～Ｂ　　　　　　　　　　仮定
１　　　（８）　　　　　　Ｂ　　　　　　　　　　１＆除去
１　　７（９）　　～Ｂ＆　Ｂ　　　　　　　　　　７８＆導入
　　　７（ア）　～（Ａ＆　Ｂ）　　　　　　　　　１９背理法
　２　　（イ）　～（Ａ＆　Ｂ）　　　　　　　　　２３６７ア∨除去
１２　　（ウ）　　（Ａ＆　Ｂ）＆～（Ａ＆　Ｂ）　１イ＆導入
１　　　（エ）～（～Ａ∨～Ｂ）　　　　　　　　　２ウ背理法
（ｂ）
　１　　（１）～（～Ａ∨～Ｂ）　　　　　　　　　仮定
　　２　（２）　　～Ａ　　　　　　　　　　　　　仮定
　　２　（３）　　～Ａ∨～Ｂ　　　　　　　　　　２∨導入
　１２　（４）～（～Ａ∨～Ｂ）＆（～Ａ∨～Ｂ）　１３＆導入
　１　　（５）　～～Ａ　　　　　　　　　　　　　２４背理法
　１　　（６）　　　Ａ　　　　　　　　　　　　　５二重否定
　　　７（７）　　　　　～Ｂ　　　　　　　　　　仮定
　　　７（８）　　～Ａ∨～Ｂ　　　　　　　　　　７∨導入
　１　７（９）～（～Ａ∨～Ｂ）＆（～Ａ∨～Ｂ）　１８＆導入
　１　　（ア）　　　　～～Ｂ　　　　　　　　　　７９背理法
　１　　（イ）　　　　　　Ｂ　　　　　　　　　　ア二重否定
　１　　（ウ）　　　Ａ＆　Ｂ　　　　　　　　　　６イ＆導入
従って、
（05）により、
（06）
① 　　　Ａ＆　Ｂ　＝Ａであって、Ｂである。
② ～（～Ａ∨～Ｂ）＝Ａでないか、Ｂでない。といふことはない。
に於いて、
①＝② である。
ｃｆ.
ド・モルガンの法則
（07）
（ａ）
１　　　　　（１）　～Ａ∨～Ｂ　　　　　　　仮定
　２　　　　（２）　　Ａ＆　Ｂ　　　　　　　仮定
　２　　　　（３）　　Ａ　　　　　　　　　　２＆除去
　２　　　　（４）　　　　　Ｂ　　　　　　　２＆除去
　　３　　　（５）　～Ａ　　　　　　　　　　仮定
　２３　　　（６）　　Ａ＆～Ａ　　　　　　　２５＆導入
　　３　　　（７）～（Ａ＆　Ｂ）　　　　　　２６背理法
　　　８　　（８）　　　　～Ｂ　　　　　　　仮定
　２　８　　（９）　　Ｂ＆～Ｂ　　　　　　　４８＆導入
　　　８　　（ア）～（Ａ＆　Ｂ）　　　　　　２９背理法
１　　　　　（イ）～（Ａ＆　Ｂ）　　　　　　１５７８ア∨除去
　　　　ウ　（ウ）　　Ａ　　　　　　　　　　仮定
　　　　　エ（エ）　　　　　Ｂ　　　　　　　仮定
　　　　ウエ（オ）　　Ａ＆　Ｂ　　　　　　　ウエ＆導入
１　　　ウエ（カ）～（Ａ＆Ｂ）＆（Ａ＆Ｂ）　イオ＆導入
１　　　ウ　（キ）　　　　～Ｂ　　　　　　　エカ背理法
１　　　　　（ク）　　Ａ→～Ｂ　　　　　　　ウキＣＡ
（ｂ）
　　　　１　（１）　　Ａ→～Ｂ　　　　　　　仮定
　　　　　２（２）　　Ａ＆　Ｂ　　　　　　　仮定
　　　　　２（３）　　Ａ　　　　　　　　　　２＆除去
　　　　　２（４）　　　　　Ｂ　　　　　　　２＆除去
　　　　１２（５）　　　　～Ｂ　　　　　　　１３前件肯定
　　　　１２（６）　　Ｂ＆～Ｂ　　　　　　　４５＆I
　　　　１　（７）　　　　～Ｂ　　　　　　　４６背理法
　　　　１　（８）　～Ａ∨～Ｂ　　　　　　　７∨導入
ｃｆ.
含意の定義
従って、
（07）により、
（08）
③ ～Ａ∨～Ｂ＝Ａでないか、Ｂでない。
④ 　Ａ→～Ｂ＝Ａならば、 Ｂでない。
に於いて、
③＝④ である。
従って、
（06）（08）により、
（09）
① 　　　Ａ＆　Ｂ　＝Ａであって、Ｂである。
② ～（～Ａ∨～Ｂ）＝Ａでないか、Ｂでない。といふことはない。
③ 　　～Ａ∨～Ｂ　＝Ａでないか、Ｂでない。
④ 　　　Ａ→～Ｂ　＝Ａならば、 Ｂでない。
に於いて、
①＝②＝③＝④ である。
従って、
（09）により、
（10）
① 　　Ａ＆　Ｂ　＝Ａであって、Ｂである。
② ～（Ａ→～Ｂ）＝Ａならば、　Ｂでない。といふことはない。
に於いて、
①＝② である。
然るに、
（11）
（ａ）
　１　（１）　　Ａ→～Ｂ　　　　　　　仮定
　　２（２）　　Ａ＆　Ｂ　　　　　　　仮定
　　２（３）　　Ａ　　　　　　　　　　２
　１２（４）　　　　～Ｂ　　　　　　　１３前件肯定
　１２（５）　　　　　Ｂ　　　　　　　２＆除去
　１２（６）　～Ｂ＆　Ｂ　　　　　　　４５＆導入
　１　（７）～（Ａ＆　Ｂ）　　　　　　１６背理法
（ｂ）
１　　（１）～（Ａ＆　Ｂ）　　　　　　仮定
　２　（２）　　Ａ　　　　　　　　　　仮定
　　３（３）　　　　　Ｂ　　　　　　　仮定
　２３（４）　　Ａ＆Ｂ　　　　　　　　２３＆導入
１２３（５）～（Ａ＆Ｂ）＆（Ａ＆Ｂ）　１２＆導入
１２　（６）　　　　～Ｂ　　　　　　　３５背理法
１　　（８）　　Ａ→～Ｂ　　　　　　　２７条件法
従って、
（11）により、
（12）
③ 　　Ａ→～Ｂ　＝Ａならば　　Ｂでない。
④ ～（Ａ＆　Ｂ）＝Ａであって、Ｂである。といふことはない。
に於いて、
③＝④ である。
従って、
（10）（12）により、
（13）
① 　　Ａ＆　Ｂ　＝Ａであって、Ｂである。
② ～（Ａ→～Ｂ）＝Ａならば、　Ｂでない。といふことはない。
に於いて、
①＝② であって、
③ 　　Ａ→～Ｂ　＝Ａならば　　Ｂでない。
④ ～（Ａ＆　Ｂ）＝Ａであって、Ｂである。といふことはない。
に於いて、
③＝④ である。
従って、
（13）により、
（14）
① 　　　　Ａ＆　Ｂ　　＝Ａであって、Ｂである。
② 　　～（Ａ→～Ｂ）　＝Ａならば、　Ｂでない。といふことはない。
③ ～（～（Ａ＆　Ｂ））＝Ａであって、Ｂである。といふことはない。といふことはない。
に於いて、
①＝②＝③ である。
然るに、
（15）
「二重否定」により、
③ ～（～（Ａ＆　Ｂ））＝Ａであって、Ｂである。といふことはない。といふことはない。
④ 　　　　Ａ＆　Ｂ　　＝Ａであって、Ｂである。
従って、
（14）（15）により、
（16）
① 　　　　Ａ＆　Ｂ　　＝Ａであって、Ｂである。
② 　　～（Ａ→～Ｂ）　＝Ａならば、　Ｂでない。といふことはない。
③ ～（～（Ａ＆　Ｂ））＝Ａであって、Ｂである。といふことはない。といふことはない。
④ 　　　　Ａ＆　Ｂ　　＝Ａであって、Ｂである。
に於いて、
①＝②＝③＝④ である。
従って、
（16）により、
（17）
「確かに」、
① 　　　　Ａ＆　Ｂ　　＝Ａであって、Ｂである。
② 　　～（Ａ→～Ｂ）　＝Ａならば、　Ｂでない。といふことはない。
に於いて、
①＝② である。
然るに、
（18）
（ａ）
１　　（１）　Ａ→～Ｂ　仮定
　２　（２）　Ｂ　　　　仮定
　　３（３）　Ａ　　　　仮定
１　３（４）　　　～Ｂ　１３前件肯定
１２３（５）　Ｂ＆～Ｂ　２４＆導入
１２　（６）～Ａ　　　　３５背理法
１　　（７）　Ｂ→～Ａ　２６条件法
（ｂ）
１　　（１）　Ｂ→～Ａ　仮定
　２　（２）　Ａ　　　　仮定
　　３（３）　Ｂ　　　　仮定
１　３（４）　　　～Ａ　１３前件肯定
１２３（５）　Ａ＆～Ａ　２４＆導入
１２　（６）～Ｂ　　　　３５背理法
１　　（７）　Ａ→～Ｂ　２６条件法
ｃｆ.
対偶（Contraposition）
従って、
（18）により、
（19）
③ Ａ→～Ｂ
④ Ｂ→～Ａ
に於いて、
③＝④ である。
従って、
（17）（19）により、
（20）
① 　　Ａ＆　Ｂ　　＝Ａであって、Ｂである。
② ～（Ａ→～Ｂ）　＝Ａならば、　Ｂでない。といふことはない。
に於いて、
①＝② であって、
③ 　　Ａ→～Ｂ
④ 　　Ｂ→～Ａ
に於いて、
③＝④ である。
従って、
（20）により、
（21）
① 　　Ａ＆　Ｂ　＝Ａであって、Ｂである。
② ～（Ａ→～Ｂ）＝Ａならば、　Ｂでない。といふことはない。
③ ～（Ｂ→～Ａ）＝Ｂならば、　Ａでない。といふことはない。
に於いて、
①＝②＝③ である。
然るに、
（22）
（ａ）
１（１）　Ａ＆Ｂ　仮定
１（２）　Ａ　　　１＆除去
１（３）　Ｂ　　　１＆除去
１（４）　Ｂ＆Ａ　２３＆導入
（ｂ）
１（１）　Ｂ＆Ａ　仮定
１（２）　Ｂ　　　１＆除去
１（３）　Ａ　　　１＆除去
１（４）　Ａ＆Ｂ　２３＆導入
従って、
（22）により、
（23）
① Ａ＆Ｂ＝Ａであって、Ｂである。
④ Ｂ＆Ａ＝Ｂであって、Ａである。
に於いて、
①＝② である。
従って、
（21）（23）により、
（24）
① 　　Ａ＆　Ｂ　＝Ａであって、Ｂである。
② ～（Ａ→～Ｂ）＝Ａならば、　Ｂでない。といふことはない。
③ ～（Ｂ→～Ａ）＝Ｂならば、　Ａでない。といふことはない。
④ 　　Ｂ＆　Ａ　＝Ｂであって、Ａである。
に於いて、
①＝②＝③＝④ である。
従って、
（04）（24）により、
（25）
① 　　Ａ＆　Ｂ　＝明日は物忌みなので、門をしっかり閉める。
② ～（Ａ→～Ｂ）＝明日が物忌みならば、門をしっかり閉めない。　　といふことはない。
③ ～（Ｂ→～Ａ）＝門をしっかり閉めるならば、明日が物忌みでない。といふことはない。
④ 　　Ｂ＆　Ａ　＝門をしっかり閉めるので、　明日は物忌みである。
に於いて、
①＝②＝③＝④ である。
然るに、
（26）
③ 明日が物忌みでない。といふことはない。
といふ「それ」を、
④ 明日（　）物忌みでないこと。
といふ風に、「書き換へ」ることとする。
然るに、
（27）
【１】［が］［の］
（１） 主語を示す。
　日の暮るるとき。　汝がさりし日。　　　
（２） 連体修飾語を作る。
　夏草や兵どもの（が）夢のあと。（芭蕉）
（中村菊一、基礎からわかる古典文法、1978年、１５４頁改）
然るに、
（28）
④ こと【事】は、「名詞（体言）」である。
従って、
（26）（27）（28）により、
（29）
（２） 連体修飾語を作る。
といふ、「古文の文法」が、「現代文の文法」でもあるならば、
⑤ 明日（　）物忌みでないこと。
に於ける、
⑤ 　　（　）の中には、
⑤ 　　「が」が入り、
⑤ 　　「は」は入らない。
然るに、
（30）
実際に、
⑤ 明日（は）物忌みでないこと。
とは言はずに、
⑤ 明日（が）物忌みでないこと。
と言ふ方が、「普通」である。
然るに、
（31）
② 汝（が）さりし日を、
に於ける、
②「を」がそうであるやうに、
① 明日（　）物忌みなるを、
に於いて、
①「を」が、「格助詞」であるならば、
① 明日（が）物忌みなるを、
でなければ、ならない。
然るに、
（32）
① 明日（　）物忌みなるを、
に於いて、
①「を」が、「接続助詞」であるならば、
① 明日（は）物忌みなるを、
であっても、よいことになる。
従って、
（32）により、
（33）
① 明日は物忌みなるを、
といふ「古文」は、
① 明日（体言）は（係助詞）物忌み（体言）なる（連体形）を（接続助詞）、
であって、
① 明日（体言）は（格助詞）物忌み（体言）なる（連体形）を（格助詞）、
ではない。