「昨日（令和６年１２月１７日）の記事」を書き直します。
（01）
（ⅰ）｛ｘの変域｝＝｛ａさん、ｂさん、ｃさん｝
（ⅱ） 述語文字Ｆ＝フランス人である。
であるとして、
① ∃ｘ（Ｆｘ）
②（Ｆａ∨Ｆｂ∨Ｆｃ）
③ あるｘはＦである。
④（ａさんはフランス人であるか、または、ｂさんはフランス人であるか、または、ｃさんはフランス人である）。
に於いて、
①＝②＝③＝④ である。
然るに、
（02）
（ⅰ）｛ｘの変域｝＝｛ａさん、ｂさん、ｃさん｝
（ⅱ） 述語文字Ｆ＝フランス人である。
であるとして、
⑤ ～∀ｘ（～Ｆ）
⑥ ～（～Ｆａ＆～Ｆｂ＆～Ｆｃ）
⑦ すべてのｘがＦでない、というふわけではない。
⑧（ａさんがフランス人ではなく、その上、ｂさんもフランス人ではなく、その上、ｃさんもフランス人でない）といふことは無い。
に於いて、
⑤＝⑥＝⑦＝⑧ である。
然るに、
（03） （ⅰ）
１ （１） Ｐ∨ Ｑ∨ Ｒ Ａ
２ （２） ～Ｐ＆～Ｑ＆～Ｒ Ａ
１ （３） （Ｐ∨ Ｑ）∨Ｒ １結合法則
４ （４） （Ｐ∨ Ｑ） Ａ
５ （５） Ｐ Ａ
２ （６） ～Ｐ ２＆Ｅ
２ ５ （７） Ｐ＆～Ｐ ５６＆Ｉ
５ （８）～（～Ｐ＆～Ｑ＆～Ｒ） ２７ＲＡＡ
９ （９） Ｑ Ａ
２ （ア） ～Ｑ ２＆Ｅ
２ ９ （イ） Ｑ＆～Ｑ ９ア＆Ｉ
９ （ウ）～（～Ｐ＆～Ｑ＆～Ｒ） ２９ＲＡＡ
４ （エ）～（～Ｐ＆～Ｑ＆～Ｒ） ４５８９ウ∨Ｅ
オ（オ） Ｒ Ａ
２ （カ） ～Ｒ ２＆Ｅ
２ オ（キ） Ｒ＆～Ｒ オカ＆Ｉ
オ（ク）～（～Ｐ＆～Ｑ＆～Ｒ） ２キＲＡＡ
１ （ケ）～（～Ｐ＆～Ｑ＆～Ｒ） ３４エオク∨Ｅ
１２ （コ）～（～Ｐ＆～Ｑ＆～Ｒ）＆
（～Ｐ＆～Ｑ＆～Ｒ） ２ケ＆Ｉ
１ （サ）～（～Ｐ＆～Ｑ＆～Ｒ） ２コＲＡＡ
（ⅴ）
１ （１） ～（～Ｐ＆～Ｑ＆～Ｒ） Ａ
２ （２） ～（ Ｐ∨ Ｑ∨ Ｒ） Ａ
３ （３） Ｐ Ａ
３ （４） Ｐ∨ Ｑ ３∨Ｉ
３ （５） Ｐ∨ Ｑ∨ Ｒ ３４∨Ｉ
２３ （６） ～（ Ｐ∨ Ｑ∨ Ｒ）＆
（ Ｐ∨ Ｑ∨ Ｒ） ２５＆Ｉ
２ （７） ～Ｐ ３６ＲＡＡ
８ （８） Ｑ Ａ
８ （９） Ｐ∨ Ｑ ８∨Ｉ
８ （ア） Ｐ∨ Ｑ∨ Ｒ ９∨Ｉ
２ ８ （イ） ～（ Ｐ∨ Ｑ∨ Ｒ）＆
（ Ｐ∨ Ｑ∨ Ｒ） ２ア＆Ｉ
２ （ウ） ～Ｑ ８イ＆Ｉ
２ （エ） ～Ｐ＆～Ｑ ７ウ＆Ｉ
オ（オ） Ｒ Ａ
オ（カ） Ｑ∨ Ｒ オ∨Ｉ
オ（キ） Ｐ∨ Ｑ∨ Ｒ ∨Ｉ
２ オ（ク） ～（ Ｐ∨ Ｑ∨ Ｒ）＆
（ Ｐ∨ Ｑ∨ Ｒ） ２キ＆Ｉ
２ （ケ） ～Ｒ オクＲＡＡ
２ （コ） ～Ｐ＆～Ｑ＆～Ｒ エケ＆Ｉ
１２ （サ） ～（～Ｐ＆～Ｑ＆～Ｒ）＆
（～Ｐ＆～Ｑ＆～Ｒ） １コ＆Ｉ
１ （シ）～～（ Ｐ∨ Ｑ∨ Ｒ） ２サＲＡＡ
１ （ス） （ Ｐ∨ Ｑ∨ Ｒ） シＤＮ
従って、
（03）により、
（04）
① Ｐ∨ Ｑ∨ Ｒ
⑤ ～（～Ｐ＆～Ｑ＆～Ｒ）
といふ「命題論理式」に於いて、
①＝⑤ は「ド・モルガンの法則」である。
従って、
（04）により、
（05）
Ｐ＝Ｆａ
Ｑ＝Ｆｂ
Ｒ＝Ｆｃ
といふ「代入」により、
① （ Ｆａ∨ Ｆｂ∨ Ｆｃ）
⑤ ～（～Ｆａ＆～Ｆｂ＆～Ｆｃ）
といふ「命題論理式に於いて、
①＝⑤ は、「ド・モルガンの法則」である。
従って、
（01）～（05）により、
（06）
① ∃ｘ（Ｆｘ）
②（Ｆａ∨Ｆｂ∨Ｆｃ）
③ あるｘはＦである。
④（ａさんはフランス人であるか、または、ｂさんはフランス人であるか、または、ｃさんはフランス人である）。
⑤ ～∀ｘ（～Ｆ）
⑥ ～（～Ｆａ＆～Ｆｂ＆～Ｆｃ）
⑦ すべてのｘがＦでない、というふわけではない。
⑧（ａさんがフランス人ではなく、その上、ｂさんもフランス人ではなく、その上、ｃさんもフランス人でない）といふことは無い。
に於いて、
①＝②＝③＝④＝⑤＝⑥＝⑦＝⑧ は、「ド・モルガンの法則」である。
従って、
（07）により、
（08）
（ⅰ）
１ （１） ∃ｘ（ Ｆｘ） Ａ
２ （２） ∀ｘ（～Ｆｘ） Ａ
３（３） Ｆａ Ａ
２ （４） ～Ｆａ １ＵＥ
２３（５） Ｆａ＆～Ｆａ ３４＆Ｉ
３（６）～∀ｘ（～Ｆｘ） ２５ＲＡＡ
１２ （７）～∀ｘ（～Ｆｘ） １３ＥＥ
（ⅴ）
１ （１） ～∀ｘ（～Ｆｘ） Ａ
２ （２） ～∃ｘ（ Ｆｘ） Ａ
３（３） Ｆａ Ａ
３（４） ∃ｘ（ Ｆｘ） １ＥＩ
２３（５） ～∃ｘ（ Ｆｘ）＆
∃ｘ（ Ｆｘ） ２４＆Ｉ
２ （６） ～Ｆａ ３５ＲＡＡ
２ （７） ∀ｘ（～Ｆｘ） ６ＵＩ
１２ （８） ～∀ｘ（～Ｆｘ）＆
∀ｘ（～Ｆｘ） １７＆Ｉ
１ （９）～～∀ｘ（～Ｆｘ） ２８ＲＡＡ
１ （ア） ∀ｘ（～Ｆｘ） ９ＤＮ
といふ「述語計算」は、「ド・モルガンの法則」である。
従って、
（08）により、
（09）
① ∃ｘ（ Ｆｘ）＝あるｘはＦである。
⑤ ～∀ｘ（～Ｆｘ）＝すべてのｘがＦでない、といふわけではない。
に於いて、
①＝⑤ といふ「量化子の関係」は、「ド・モルガンの法則」である。
（01）
（ⅰ）
１ （１）∃ｘ（Ｆｘ∨Ｇｘ） Ａ
２ （２） Ｆａ∨Ｇａ Ａ
３ （３） Ｆａ Ａ
３ （４）∃ｘ（Ｆｘ） ３ＥＩ
３ （５）∃ｘ（Ｆｘ）∨∃ｘ（Ｇｘ） ４∨Ｉ
６（６） Ｇａ Ａ
６（７） ∃ｘ（Ｇｘ） ６ＥＩ
６（８）∃ｘ（Ｆｘ）∨∃ｘ（Ｇｘ） ７∨Ｉ
２ （９）∃ｘ（Ｆｘ）∨∃ｘ（Ｇｘ） ２３５６８∨Ｉ
１ （ア）∃ｘ（Ｆｘ）∨∃ｘ（Ｇｘ） １２９ＥＥ
（ⅱ）
１ （１）∃ｘ（Ｆｘ）∨∃ｘ（Ｇｘ） Ａ
２ （２）∃ｘ（Ｆｘ） Ａ
３ （３） Ｆａ Ａ
３ （４） Ｆａ∨Ｇａ ３∨Ｉ
３ （５）∃ｘ（Ｆｘ∨Ｇｘ） ４ＥＩ
２ （６）∃ｘ（Ｆｘ∨Ｇｘ） ２３５ＥＥ
７ （７） ∃ｘ（Ｇｘ） Ａ
８（８） Ｇａ Ａ
８（９） Ｆａ∨Ｇａ ８∨Ｉ
８（ア） ∃ｘ（Ｆｘ∨Ｇｘ） ９ＥＩ
７ （イ） ∃ｘ（Ｆｘ∨Ｇｘ） ７８アＥＥ
１ （ウ）∃ｘ（Ｆｘ∨Ｇｘ） １２６７イ∨Ｅ
従って、
（01）により、
（02）
① ∃ｘ（Ｆｘ∨Ｇｘ）
② ∃ｘ（Ｆｘ）∨∃ｘ（Ｇｘ）
に於いて、
①＝② である。
従って、
（02）により、
（03）
例へば、
① ある人は（フランス人であるか、または、ドイツ人である）。
② ある人は（フランス人である）か、または、ある人は（ドイツ人である）。
に於いて、
①＝② である。
然るに、
（01）により、
（04）
（ⅰ）
１ （１）∃ｘ（Ｆｘ∨Ｇｘ） Ａ
２ （２） Ｆａ∨Ｇａ Ａ
３ （３） Ｆａ Ａ
３ （４）∃ｘ（Ｆｘ） ３ＥＩ
３ （５）∃ｘ（Ｆｘ）∨∃ｘ（Ｇｘ） ４∨Ｉ
６（６） Ｇａ Ａ
６（７） ∃ｘ（Ｇｘ） ６ＥＩ
６（８）∃ｘ（Ｆｘ）∨∃ｘ（Ｇｘ） ７∨Ｉ
２ （９）∃ｘ（Ｆｘ）∨∃ｘ（Ｇｘ） ２３５６８∨Ｉ
１ （ア）∃ｘ（Ｆｘ）∨∃ｘ（Ｇｘ） １２９ＥＥ
（ⅱ）
１ （１）∃ｘ（Ｆｘ）∨∃ｘ（Ｇｘ） Ａ
２ （２）∃ｘ（Ｆｘ） Ａ
３ （３） Ｆａ Ａ
３ （４） Ｆａ∨Ｇａ ３∨Ｉ
３ （５）∃ｘ（Ｆｘ∨Ｇｘ） ４ＥＩ
２ （６）∃ｘ（Ｆｘ∨Ｇｘ） ２３５ＥＥ
７ （７） ∃ｘ（Ｇｘ） Ａ
８（８） Ｇａ Ａ
８（９） Ｆａ∨Ｇａ ８∨Ｉ
８（ア） ∃ｘ（Ｆｘ∨Ｇｘ） ９ＥＩ
７ （イ） ∃ｘ（Ｆｘ∨Ｇｘ） ７８アＥＥ
１ （ウ）∃ｘ（Ｆｘ∨Ｇｘ） １２６７イ∨Ｅ
といふ「計算」は、
｛ｘの変域｝＝｛ａ、ｂ、ｃ｝
であるとして、
（ⅰ）
１ （１） （Ｆａ∨Ｇａ）∨（Ｆｂ∨Ｇｂ） ∨（Ｆｃ∨Ｇｃ） Ａ
１ （２）｛（Ｆａ∨Ｇａ）∨（Ｆｂ∨Ｇｂ）｝∨（Ｆｃ∨Ｇｃ） １結合法則
３ （３）｛（Ｆａ∨Ｇａ）∨（Ｆｂ∨Ｇｂ）｝ Ａ
４ （４） （Ｆａ∨Ｇａ） Ａ
５ （５） Ｆａ Ａ
５ （６） Ｆａ∨Ｆｂ ５∨Ｉ
５ （７） Ｆａ∨Ｆｂ∨Ｆｃ ６∨Ｉ
５ （８） （Ｆａ∨Ｆｂ∨Ｆｃ）∨（Ｇａ∨ＧＢ∨Ｇｃ） ７∨Ｉ
９ （９） Ｇａ Ａ
９ （ア） Ｇａ∨Ｇｂ ９∨Ｉ
９ （イ） Ｇａ∨Ｇｂ∨Ｇｃ ア∨Ｉ
９ （ウ） （Ｆａ∨Ｆｂ∨Ｆｃ）∨（Ｇａ∨Ｇｂ∨Ｇｃ） イ∨Ｉ
４ （エ） （Ｆａ∨Ｆｂ∨Ｆｃ）∨（Ｇａ∨Ｇｂ∨Ｇｃ） ４５８９ウ∨Ｅ
オ （オ） （Ｆｂ∨Ｇｂ） Ａ
カ （カ） Ｆｂ Ａ
カ （キ） Ｆａ∨Ｆｂ カ∨Ｉ
カ （ク） Ｆａ∨Ｆｂ∨Ｆｃ キ∨Ｉ
カ （ケ） （Ｆａ∨Ｆｂ∨Ｆｃ）∨（Ｇａ∨ＧＢ∨Ｇｃ） ク∨Ｉ
コ （コ） Ｇｂ Ａ
コ （サ） Ｇａ∨Ｇｂ コ∨Ｉ
コ （シ） Ｇａ∨Ｇｂ∨Ｇｃ サ∨Ｉ
コ （ス） （Ｆａ∨Ｆｂ∨Ｆｃ）∨（Ｇａ∨Ｇｂ∨Ｇｃ） シ∨I
オ （セ） （Ｆａ∨Ｆｂ∨Ｆｃ）∨（Ｇａ∨Ｇｂ∨Ｇｃ） オカケコス∨Ｅ
３ （ソ） （Ｆａ∨Ｆｂ∨Ｆｃ）∨（Ｇａ∨Ｇｂ∨Ｇｃ） ３４エオセ∨Ｅ
タ （タ） （Ｆｃ∨Ｇｃ） Ａ
チ （ツ） Ｆｃ Ａ
チ （テ） Ｆｂ∨Ｆｃ ツ∨Ｉ
チ （ト） Ｆａ∨Ｆｂ∨Ｆｃ テ∨Ｉ
チ （ナ） （Ｆａ∨Ｆｂ∨Ｆｃ）∨（Ｇａ∨Ｇｂ∨Ｇｃ） ト∨Ｉ
ニ（ニ） Ｇｃ Ａ
ニ（ヌ） Ｇｂ∨Ｇｃ ニ∨Ｉ
ニ（ネ） Ｇａ∨Ｇｂ∨Ｇｃ ヌ∨Ｉ
ニ（ノ） （Ｆａ∨Ｆｂ∨Ｆｃ）∨（Ｇａ∨Ｇｂ∨Ｇｃ） ネ∨Ｉ
タ （ハ） （Ｆａ∨Ｆｂ∨Ｆｃ）∨（Ｇａ∨Ｇｂ∨Ｇｃ） タチナニノ∨Ｅ
１ （ヒ） （Ｆａ∨Ｆｂ∨Ｆｃ）∨（Ｇａ∨Ｇｂ∨Ｇｃ） １３ソタハ∨Ｅ
（ⅱ）
１ （１）（Ｆａ∨Ｆｂ∨Ｆｃ）∨（Ｇａ∨Ｇｂ∨Ｇｃ） Ａ
２ （２）（Ｆａ∨Ｆｂ∨Ｆｃ） Ａ
２ （３）（Ｆａ∨Ｆｂ）∨Ｆｃ ２結合法則
４ （４）（Ｆａ∨Ｆｂ） Ａ
５ （５） Ｆａ Ａ
５ （６） Ｆａ∨Ｇａ ５∨Ｉ
５ （７）（Ｆａ∨Ｇａ）∨（Ｆｂ∨Ｇｂ） ６∨I
５ （８）（Ｆａ∨Ｇａ）∨（Ｆｂ∨Ｇｂ）∨（Ｆｃ∨Ｇｃ） ７∨I
９ （９） Ｆｂ Ａ
９ （ア） Ｆｂ∨Ｇｂ ９∨Ｉ
９ （イ）（Ｆａ∨Ｇａ）∨（Ｆｂ∨Ｇｂ） ア∨Ｉ
９ （ウ）（Ｆａ∨Ｇａ）∨（Ｆｂ∨Ｇｂ）∨（Ｆｃ∨Ｇｃ） イ∨Ｉ
４ （エ）（Ｆａ∨Ｇａ）∨（Ｆｂ∨Ｇｂ）∨（Ｆｃ∨Ｇｃ） ４５８９ウ∨Ｅ
オ （オ） Ｆｃ Ａ
オ （カ） Ｆｃ∨Ｇｃ オ∨Ｉ
オ （キ） （Ｆｂ∨Ｇｂ）∨（Ｆｃ∨Ｇｃ） カ∨Ｉ
オ （ケ）（Ｆａ∨Ｇａ）∨（Ｆｂ∨Ｇｂ）∨（Ｆｃ∨Ｇｃ） キ∨Ｉ
２ （コ）（Ｆａ∨Ｇａ）∨（Ｆｂ∨Ｇｂ）∨（Ｆｃ∨Ｇｃ） ３４Ｅオケ∨Ｅ
サ （サ） （Ｇａ∨Ｇｂ∨Ｇｃ） Ａ
サ （シ） （Ｇａ∨Ｇｂ）∨Ｇｃ Ａ
ス （ス） （Ｇａ∨Ｇｂ） Ａ
セ （セ） Ｇａ Ａ
セ （ソ） Ｆａ∨Ｇａ セ∨Ｉ
セ （タ）（Ｆａ∨Ｇａ）∨（Ｆｂ∨Ｇｂ） ソ∨Ｉ
セ （チ）（Ｆａ∨Ｇａ）∨（Ｆｂ∨Ｇｂ）∨（Ｆｃ∨Ｇｃ） タ∨Ｉ
ツ （ツ） Ｇｂ Ａ
ツ （テ） Ｆｂ∨Ｇｂ ツ∨Ｉ
ツ （ト）（Ｆａ∨Ｇａ）∨（Ｆｂ∨Ｇｂ） テ∨Ｉ
ツ （ナ）（Ｆａ∨Ｇａ）∨（Ｆｂ∨Ｇｂ）∨（Ｆｃ∨Ｇｃ） ト∨Ｉ
ス （ニ）（Ｆａ∨Ｇａ）∨（Ｆｂ∨Ｇｂ）∨（Ｆｃ∨Ｇｃ） スセチツナ∨Ｅ
ヌ（ヌ） Ｇｃ Ａ
ヌ（ネ） （Ｆｃ∨Ｇｃ） ヌ∨Ｉ
ヌ（ノ） （Ｆｂ∨Ｇｂ）∨（Ｆｃ∨Ｇｃ） ネ∨Ｉ
ヌ（ハ）（Ｆａ∨Ｇａ）∨（Ｆｂ∨Ｇｂ）∨（Ｆｃ∨Ｇｃ） ノ∨Ｉ
サ （ヒ）（Ｆａ∨Ｇａ）∨（Ｆｂ∨Ｇｂ）∨（Ｆｃ∨Ｇｃ） サスニヌハ∨Ｅ
１ （フ）（Ｆａ∨Ｇａ）∨（Ｆｂ∨Ｇｂ）∨（Ｆｃ∨Ｇｃ） １２コサヒ∨Ｅ
といふ「計算（メチャクチャ、大変である）」に、「等しい」。
従って、
（04）により、
（05）
｛ｘの変域｝＝｛ａ、ｂ、ｃ｝
であるとして、
２（２）∃ｘ（Ｆｘ）Ａ
３（３） Ｆａ Ａ
といふ「計算」は、
２（２）（Ｆａ∨Ｆｂ∨Ｆｃ） Ａ
２（３）（Ｆａ∨Ｆｂ）∨Ｆｃ ２結合法則
４（４）（Ｆａ∨Ｆｂ） Ａ
５（５） Ｆａ Ａ
９（９） Ｆｂ Ａ
オ（オ） Ｆｃ Ａ
といふ「計算」に、「相当」する。
従って、
（06）
｛ｘの変域｝＝｛ａ、ｂ、ｃ｝
であるとして、
３（３）Ｆａ Ａ
といふ「仮定」は、「実際」には、
５（５）Ｆａ Ａ
９（９）Ｆｂ Ａ
オ（オ）Ｆｃ Ａ
といふ「仮定」に、「相当」し、そのため、
連式 ∃ｘ（Ｆｘ）├ Ｆａ は妥当とは考えず、ａは任意に選ばれているが、与えられたＦをもつ対象の１つではないかもしれないから、
この式を受け入れないのである（E.j.レモン 著、論理学初歩、竹尾治一郎・浅野楢英 訳、1973年、１４９頁）。
といふ、ことになる。
（07）
「簡単」に言ふと、
｛ｘの変域｝＝｛ａ、ｂ、ｃ｝
であるとして、
① Ｆａ
② Ｆｂ
③ Ｆｃ
④（Ｆａ∨Ｆｂ∨Ｆｃ）≡∃ｘ（Ｆｘ）
に於いて、
①├ ④
②├ ④
③├ ④
といふ「３通り」があるため、
④├ ①
といふ「１通り」であるとは「限らず」、そのため、
∃ｘ（Ｆｘ）├ Ｆａ は「妥当」とは考えないものの、「条件」を満たす限り、「計算としては同じ」になるため、「便宜的」に、
∃ｘ（Ｆｘ）├ Ｆａ であると、「見做してゐる」。
（08）
｛ｘの変域｝＝｛ａ、ｂ、ｃ｝
であるとして、
５（５）Ｆａ Ａ
９（９）Ｆｂ Ａ
オ（オ）Ｆｃ Ａ
といふ「仮定」に、「相当」する所の、
３（３）Ｆａ Ａ
といふ「仮定」に於ける、「Ｆａ」を、「代表的選言項（typical disjunct）」と言ふ。
（01）
この規則（ＣＰ）の扱い方は、これまでの規則のそれよりも会得しにくいものであるが、しかしそれに習熟することはがどうしても必要である。
Its working is harder to grasp than that of the earlier rules, but familiarity with it is indispensable.
（E.J.レモン著、論理学初歩、竹尾治一郎、浅野楢英 訳、1973年、２０頁）
然るに、
（02）
１ （１） Ｐ Ａ
２（２） Ｑ Ａ
１２（３） Ｐ＆Ｑ １２＆Ｉ
１ （４）Ｑ→Ｐ＆Ｑ ２３ＣＰ
従って、
（02）により、
（03）
① Ｐ├ Ｑ→Ｐ＆Ｑ
といふ「推論」、すなはち、「日本語」で言ふと、
① Ｐなので、Ｑならば、ＰであってＱである。
といふ「推論」は「妥当」である。
従って、
（03）により、
（04）
① Ｐなので、Ｑならば、ＰであってＱである。
に於いて、
Ｐ＝原さんは日本人である。
Ｑ＝原さんは女性 である。
として、
① 原さんは日本人なので、原さんが女性であるならば、原さんは日本人の女性である。
といふ「推論」は「妥当」である。
然るに、
（05）
１ （１） Ｐ→ Ｑ Ａ
２ （２） ～Ｑ Ａ
３（３） Ｐ Ａ
１ ３（４） Ｑ １３ＭＰＰ
１２３（５） ～Ｑ＆Ｑ ２４＆Ｉ
１２ （６）～Ｐ ３５ＲＡＡ
１ （７）～Ｑ→～Ｐ ２６ＣＰ
従って、
（05）により、
（06）
② Ｐ→Ｑ├ ～Ｑ→～Ｐ
といふ「推論」、すなはち、「日本語」で言ふと、
② ＰならばＱなので、ＱでないならばＰでない。
といふ「推論」は「妥当」である。
従って、
（06）により、
（07）
② Ｐ→Ｑ├ ～Ｑ→～Ｐ
に於いて、
Ｐ＝原さんは東京都民である。
Ｑ＝原さんは日本人 である、
として、
② 原さんが東京都民であるならば、原さんは日本人なので、原さんが日本人でないならば、原さんは東京都民ではない。
といふ「推論」は「妥当」である。
従って、
（03）（07）により、
（08）
① Ｐ├ Ｑ→Ｐ＆Ｑ
② Ｐ→Ｑ├ ～Ｑ→～Ｐ
といふ「推論」の「代入例（substitution instances）」として、
① 原さんは日本人なので、原さんが女性であるならば、原さんは日本人の女性である。
② 原さんが東京都民であるならば、原さんは日本人なので、原さんが日本人でないならば、原さんは東京都民ではない。
といふ「推論」は「妥当」であるが、
① 原さんは日本人なので、原さんが女性であるならば、原さんは日本人の女性である。
② 原さんが東京都民であるならば、原さんは日本人なので、原さんが日本人でないならば、原さんは東京都民ではない。
といふ「推論」が「正しい」ことは、「当然（当り前）」である。
従って、
（08）により、
（09）
① Ｐ├ Ｑ→Ｐ＆Ｑ
② Ｐ→Ｑ├ ～Ｑ→～Ｐ
といふ「論理式」が「正しい」ことは、「当然（常識）」である。
従って、
（02）～（09）により、
（10）
① 原さんは日本人なので、原さんが女性であるならば、原さんは日本人の女性である。
② 原さんが東京都民であるならば、原さんは日本人なので、原さんが日本人でないならば、原さんは東京都民ではない。
といふ「日本語」で考へれば、
（ⅰ）
１ （１） Ｐ Ａ
２（２） Ｑ Ａ
１２（３） Ｐ＆Ｑ １２＆Ｉ
１ （４）Ｑ→Ｐ＆Ｑ ２３ＣＰ
（ⅱ）
１ （１） Ｐ→ Ｑ Ａ
２ （２） ～Ｑ Ａ
３（３） Ｐ Ａ
１ ３（４） Ｑ １３ＭＰＰ
１２３（５） ～Ｑ＆Ｑ ２４＆Ｉ
１２ （６）～Ｐ ３５ＲＡＡ
１ （７）～Ｑ→～Ｐ ２６ＣＰ
といふ「命題計算（Propsitional Calculus）」が「正しい」ことは、「疑ふ余地が無い」。
従って、
（01）（10）により、
（11）
「E.J.レモン」とは異なり、「ブロガー自身」は、
この規則（ＣＰ）の扱い方は、他の規則のそれよりも会得しにくいものである。
Its working is harder to grasp than that of the other rules.
といふ風には、思ってゐない。