「括弧」は、有りますよ。絶対に。

（01）
① 甲ならば、乙である。
② 甲でないか乙である。
③ 甲であって乙でない。といふことはない。
に於いて、「直感」として、
①＝②＝③ である。
然るに、
（02）
（ａ）
１　（１）甲→　乙　Ａ
　２（２）甲＆～乙　Ａ
　２（３）甲　　　　２＆Ｅ
　２（４）　　～乙　３＆Ｅ
１２（５）　　　乙　１３ＭＰＰ
１２（６）～乙＆乙　４５＆Ｉ
１　（７）　～～乙　４６ＲＡＡ
１　（８）　　　乙　７ＤＮ
１　（９）～甲∨乙　８∨Ｉ
（ｂ）
１　　　　　（１）　～甲∨　乙　　Ａ
　２　　　　（２）　　甲＆～乙　　Ａ
　２　　　　（３）　　甲　　　　　＆Ｅ
　２　　　　（４）　　　　～乙　　＆Ｅ
　　３　　　（５）　～甲　　　　　Ａ
　２３　　　（６）　～甲＆甲　　　２５＆Ｉ
　　３　　　（７）～（甲＆～乙）　２６ＲＡＡ
　　　８　　（８）　　　　　乙　　Ａ
　２　８　　（９）　　乙＆～乙　　４８＆Ｉ
　　　８　　（ア）～（甲＆～乙）　２９ＲＡＡ
１　　　　　（イ）～（甲＆～乙）　１５７８ア∨Ｅ
　　　　ウ　（ウ）　　甲　　　　　Ａ
　　　　　エ（エ）　　　　～乙　　Ａ
　　　　ウエ（オ）　　甲＆～乙　　ウエ＆Ｉ
１　　　ウエ（カ）～（甲＆～乙）＆
　　　　　　　　　　（甲＆～乙）　イオ＆Ｉ
１　　　ウ　（キ）　　　～～乙　　エカＲＡＡ
１　　　ウ　（ク）　　　　　乙　　キＤＮ
１　　　　　（ケ）　　甲→　乙　　ウクＣＰ
（ｃ）
１　　（１）　　甲→　乙　　Ａ
２　　（２）　　甲＆～乙　　Ａ
２　　（３）　　甲 　　　　 ２＆Ｅ
１２　（４）　　　　　乙 　 １３ＭＰＰ
　２　（５）　　　　～乙 　 ２＆Ｅ
１２　（６）　　乙＆～乙　　４５＆Ｉ
１　　（７）～（甲＆～乙）　２６ＲＡＡ
（ｄ）
１　　　（１）～（甲＆～乙） 　　　　　　　 Ａ
　２　　（２）　　甲　　　 　　　　　　　　 Ａ
　　３　（３）　　　　～乙　　　　　　　　　Ａ
　２３　（４）　　甲＆～乙　　　　　　　　　２３ＣＰ
１２３　（５）～（甲＆～乙）＆（甲＆～乙）　１４＆Ｉ
１２　　（６）　～甲　　　　　　　　　　　　２５ＲＡＡ
１　　　（７）　～乙→ ～甲　　　　　　　　 ３６ＣＰ
　　　８（８）　　甲　　　　　　　　　　　　Ａ
　　　８（９）～～甲　　　　　　　　　　　　８ＤＮ
１　　８（ア）～～乙　　　　　　　　　　　　７９ＭＴＴ
１　　８（イ）　　乙　　　　　　　　　　　　アＤＮ
１　　　（ウ）　　甲→乙　　　　　　　　　　８イＣＰ
従って、
（01）（02）により、
（03）
① 甲ならば、乙である。
② 甲でないか乙である。
③ 甲であって乙でない。といふことはない。
に於いて、「直観」としても、「論理的」にも、
①＝②＝③ である。
然るに、
（04）
～ ＝ 不
＆ ＝ 而
∨ ＝ 与
とする。
従って、
（02）（03）（04）により、
（05）
① 甲則乙（甲ならば、乙である）。
② 不甲与乙（甲でないか乙である）。
③ 不甲而不乙（甲であって乙でない。といふことはない）。
に於いて、「直観」としても、「論理的」にも、
①＝②＝③ である。
然るに、
（06）
つまり、むやみに括弧が多くなることは我慢できないのである（Ｅ.Ｊ.レモン、論理学初歩、1973年、５９頁）。
任意の表述の否定は、その表述を’～（　　）’という空所にいれて書くことにしよう（Ｗ.Ｏ.クワイン著、杖下隆英訳、現代論理学入門、1972年、１５頁）。
従って、
（05）（06）により、
（07）
「論理的」には、
① 甲則乙。
② 不（甲）与乙。
③ 不（甲而不（乙））。
に於いて、
①＝②＝③ である。
従って、
（05）（07）により、
（08）
① 甲則乙（甲ならば、乙である）。
② 不甲与乙（甲でないか乙である）。
③ 不甲而不乙（甲であって乙でない。といふことはない）。
に於いて、「直観」としても、「論理的」にも、
①＝②＝③ であるならば、
① 甲則乙。
② 不（甲）与乙。
③ 不（甲而不（乙））。
でなければ、ならない。
然るに、
（09）
③ 不（甲而不（乙））。
の場合は、
③ 無甲不乙＝
③ 無（甲不（乙））⇒
③ （甲（乙）不）無＝
③ （甲にして（乙せ）不る）は無し＝
③ （甲であって（乙で）ない場合）は無い。
に、「等しい」。
従って、
（08）（09）により、
（10）
① 甲ならば、乙である。
② 甲でないか乙である。
③ 甲であって乙でない場合は無い。
に於いて、「直観」としても、「論理的」にも、
①＝②＝③ であるならば、
① 甲則乙。
② 不甲与乙。
③ 無甲不乙。
には、
① 甲則乙。
② 不（甲）与乙。
③ 無（甲不（乙））。
といふ「括弧」が、無ければ、ならない。
（11）
② 甲でないか乙である（～甲∨乙）。
であって、尚且つ、
② 甲である＝甲でない。でない。
ならば、必然的に、
②　　　　　 乙である。
従って、
（11）により、
（12）
② 甲でないか乙である〔～甲∨乙〕。
といふ「命題」は、
① 甲であるならば乙である〔甲→乙〕。
といふ「命題」は、「等しい」。
然るに、
（13）
① 甲であるならば乙である〔甲→乙〕。
といふ「命題」は、
③ 甲であって乙でない場合は無い〔～（甲＆～（乙））〕。
といふ「命題」は、「等しい」。
従って、
（01）～（13）により、
（14）
① 甲ならば、乙である。
② 甲でないか乙である。
③ 甲であって乙でない場合は無い。
に於いて、「直観」としても、「論理的」にも、
①＝②＝③ であるため、
① 甲則乙。
② 不甲与乙。
③ 無甲不乙。
には、
① 甲則乙。
② 不（甲）与乙。
③ 無（甲不（乙））。
といふ「括弧」が、無ければ、ならない。
（15）
③ 無（甲不（乙））。
に於いて、
③ 無 は、
③ 　（甲不（乙））に、掛ってゐて、
③       不 は、
③           乙 に、掛ってゐる。
（16）
③ （甲（乙）不）無。
に於いて、　 不 は、
③       乙 を、受けてゐて、
③　　　　　　　 無 は、
③ （甲（乙）不）を、受けてゐる。
平成２９年１１月２０日、毛利太。