「交換法則（Ⅰ）」の「具体例」。

―「先ほどの記事」を補足します。―
（01）　　　　
（ⅰ）
１　　（１）　男＆（東∨埼）　　　　Ａ
１　　（２）　男　　　　　　　　　　１＆Ｅ
１　　（３）　　　　東∨埼　　　　　１＆Ｅ
　４　（４）　　　　東　　　　　　　Ａ
１４　（５）　男＆東　　　　　　　　２４＆Ｉ
１４　（６）（男＆東）∨（男＆埼）　５∨Ｉ
　　７（７）　　　　　　埼　　　　　Ａ
１　７（８）　　　　　　　男＆埼　　２７＆Ｉ
１　７（９）（男＆東）∨（男＆埼）　８∨Ｉ
１　　（ア）（男＆東）∨（男＆埼）　３４６７９∨Ｅ
（ⅱ）
１　　（１）（男＆東）∨（男＆埼）　Ａ
　２　（２）（男＆東）　　　　　　　Ａ
　２　（３）　男　　　　　　　　　　２＆Ｅ
　２　（４）　　　東　　　　　　　　２＆Ｅ
　２　（５）　　　　東∨埼　　　　　４∨Ｉ
　２　（６）　男＆（東∨埼）　　　　３５＆Ｉ
　　７（７）　　　　　　（男＆埼）　Ａ
　　７（８）　　　　　　　男　　　　７＆Ｅ
　　７（９）　　　　　　　　　埼　　７＆Ｅ
　　７（ア）　　　　　　　東∨埼　　９∨Ｉ
　　７（イ）　男＆（東∨埼）　　　　８ア＆Ｉ
１　　（ウ）　男＆（東∨埼）　　　　１２６７イ∨Ｅ
（ⅲ）
１　　（１）　　（男＆東）∨（男＆埼）　Ａ
１　　（２）～～（男＆東）∨（男＆埼）　１ＤＮ
１　　（３）　～（男＆東）→（男＆埼）　２含意の定義
１　　（４）　　（男＆埼）∨（男＆東）　１交換法則
１　　（５）～～（男＆埼）∨（男＆東）　４ＤＮ
１　　（６）　～（男＆埼）→（男＆東）　５含意の定義
（ⅳ）
１　　（１）　～（男＆東）→（男＆埼）　Ａ
１　　（２）～～（男＆東）∨（男＆埼）　１含意の定義
１　　（３）　　（男＆東）∨（男＆埼）　２ＤＮ
１　　（４）　　（男＆埼）∨（男＆東）　３交換法則
従って、
（01）により、
（02）
①     男＆（東∨埼）
②   （男＆東）∨（男＆埼）
③ ～（男＆東）→（男＆埼）
④ ～（男＆埼）→（男＆東）
に於いて、すなはち、
①  その人は男性で（東京都民か埼玉県民である）。
②（その人は男性で東京都民である）か（その人は男性で埼玉県民である）。
③（その人が男性で東京都民でない）ならば（その人は男性で埼玉県人である）。
④（その人が男性で埼玉県民でない）ならば（その人は男性で東京都民である）。
に於いて、
①＝②＝③＝④ である。
然るに、
（03）
①  男＆（東∨埼）
②（男＆東）∨（男＆埼）
といふ「命題」に関する「式」は、
①  男∩（東∪埼）
②（男∩東）∪（男∩埼）
といふ「集合」に関する「式」に、相当する。
従って、
（02）（03）により、
（04）
①  その人は男性で（東京都民か埼玉県民である）。
②（その人は男性で東京都民である）か（その人は男性で埼玉県民である）。
③（その人が男性で東京都民でない）ならば（その人は男性で埼玉県人である）。
④（その人が男性で埼玉県民でない）ならば（その人は男性で東京都民である）。
に於いて、
①＝②＝③＝④ である。
といふことが、「理解」出来るのであれば、
①  男∩（東∪埼）
②（男∩東）∪（男∩埼）
に於いて、
①＝② である。
といふことを、「理解」してゐる。
といふ、ことになる。
令和元年０８月２４日、毛利太。