（1307）「Ｐでないならば、Ｐである」は『矛盾』ではない（Ⅱ）。

（01）
①  （Ｐでない）か、または（Ｑである）。
②　（Ｐでない）か、または（Ｑである）といふ２つの内の、少なくとも、一方は「真」である。
に於いて、
①＝② である。
然るに、
（02）
②　（Ｐでない）か、または（Ｑである）といふ２つの内の、少なくとも、一方は「真」である。
③｛（Ｐでない）が「偽」であって、その上、（Ｑである）も「偽」である｝といふことはない。
に於いて、
②＝③ である。
然るに、
（03）
③（Ｐでない）が「偽」である。
④（Ｐである）が「真」である。
に於いて、
③＝④ である。
従って、
（03）により、
（04）
③｛（Ｐでない）が「偽」であって、その上、（Ｑである）も「偽」である｝といふことはない。
④｛（Ｐである）が「真」であって、その上、（Ｑである）も「偽」である｝といふことはない。
に於いて、
③＝④ である。
然るに、
（05）
④｛（Ｐである）が「真」であって、その上、（Ｑである）が「偽」である｝といふことはない。
⑤　（Ｐである）が「真」であるならば、　　（Ｑである）も「真」である。
に於いて、
④＝⑤ である。
然るに、
（06）
⑤　（Ｐである）が「真」であるならば、　　（Ｑである）も「真」である。
⑥  （Ｐである）　　　　　　　ならば、　　（Ｑである）。
に於いて、
⑤＝⑥ である。
従って、
（01）～（06）により、
（07）
①  （Ｐでない）か、または（Ｑである）。
②　（Ｐでない）か、または（Ｑである）といふ２つの内の、少なくとも、一方は「真」である。
③｛（Ｐでない）が「偽」であって、その上、（Ｑである）も「偽」である｝といふことはない。
④｛（Ｐである）が「真」であって、その上、（Ｑである）が「偽」である｝といふことはない。
⑤　（Ｐである）が「真」であるならば、　　（Ｑである）も「真」である。
⑥  （Ｐである）　　　　　　　ならば、　　（Ｑである）。
に於いて、
①＝②＝③＝④＝⑤＝⑥ であって、尚且つ、
⑥＝⑤＝④＝③＝②＝① である。
従って、
（07）により、
（08）
「番号」を付け直すと、
①（Ｐである）ならば、　（Ｑである）。
②（Ｐでない）か、または（Ｑである）。
に於いて、
①＝② である。
然るに、
（09）
（ⅰ）
１　　　　（１）　　　Ｐ→　Ｑ　　　Ａ
　２　　　（２）　　　Ｐ＆～Ｑ　　　Ａ
　２　　　（３）　　　Ｐ　　　　　　２＆Ｅ
１２　　　（４）　　　　　　Ｑ　　　１３ＭＰＰ
　２　　　（５）　　　　　～Ｑ　　　２＆Ｅ
１２　　　（６）　　　Ｑ＆～Ｑ　　　４５＆Ｉ
１　　　　（７）　～（Ｐ＆～Ｑ）　　２ＲＡＡ
　　８　　（８）　～（～Ｐ∨Ｑ）　　Ａ
　　　９　（９）　　　～Ｐ　　　　　Ａ
　　　９　（ア）　　　～Ｐ∨Ｑ　　　９∨Ｉ
　　８９　（イ）　～（～Ｐ∨Ｑ）＆
　　　　　　　　　　（～Ｐ∨Ｑ）　　８ア＆Ｉ
　　８　　（ウ）　　～～Ｐ　　　　　９ＲＡＡ
　　８　　（エ）　　　　Ｐ　　　　　ウＤＮ
　　　　オ（オ）　　　　　　Ｑ　　　Ａ
　　　　オ（カ）　　　～Ｐ∨Ｑ　　　オ∨Ｉ
　　８　オ（キ）　～（～Ｐ∨Ｑ）＆
　　　　　　　　　　（～Ｐ∨Ｑ）　　８カ＆Ｉ
　　８　　（ク）　　　　　～Ｑ　　　オキＲＡＡ
　　８　　（ケ）　　　Ｐ＆～Ｑ　　　エク＆Ｉ
１　８　　（コ）　～（Ｐ＆～Ｑ）＆
　　　　　　　　　　（Ｐ＆～Ｑ）　　８ケ＆Ｉ
１　　　　（サ）～～（～Ｐ∨Ｑ）　　８コＲＡＡ
１　　　　（シ）　　　～Ｐ∨Ｑ　　　サＤＮ
（ⅱ）
１　　　　　（１）　～Ｐ∨　Ｑ　　　Ａ
　２　　　　（２）　　Ｐ＆～Ｑ　　　Ａ
　　３　　　（３）　～Ｐ　　　　　　Ａ
　２　　　　（４）　　Ｐ　　　　　　２＆Ｅ
　２３　　　（５）　～Ｐ＆Ｐ　　　　３４＆Ｉ
　　３　　　（６）～（Ｐ＆～Ｑ）　　２５ＲＡＡ
　　　７　　（７）　　　　　Ｑ　　　Ａ
　２　　　　（８）　　　　～Ｑ　　　２＆Ｅ
　２　７　　（９）　　Ｑ＆～Ｑ　　　７８＆Ｉ
　　　７　　（ア）～（Ｐ＆～Ｑ）　　２９ＲＡＡ
１　　　　　（イ）～（Ｐ＆～Ｑ）　　１３６７ア∨Ｅ
１２　　　　（ウ）　（Ｐ＆～Ｑ）＆
　　　　　　　　　～（Ｐ＆～Ｑ）　　１２＆Ｉ
１　　　　　（エ）～（Ｐ＆～Ｑ）　　２ウＲＡＡ
　　　　オ　（オ）　　Ｐ　　　　　　Ａ
　　　　　カ（カ）　　　　～Ｑ　　　Ａ
　　　　オカ（キ）　　Ｐ＆～Ｑ　　　オカ＆Ｉ
１　　　オカ（ク）～（Ｐ＆～Ｑ）＆
　　　　　　　　　　（Ｐ＆～Ｑ）　　エキ＆Ｉ
１　　　オ　（ケ）　　　～～Ｑ　　　カクＤＮ
１　　　オ　（コ）　　　　　Ｑ　　　ケＤＮ
１　　　　　（サ）　　Ｐ→　Ｑ　　　オコＣＰ
従って、
（09）により、
（10）
① 　Ｐ→Ｑ
② ～Ｐ∨Ｑ
に於いて、
①＝② である。
従って、
（08）（09）（10）により、
（11）
「日本語」で言ふと、
①（Ｐである）ならば、　（Ｑである）。
②（Ｐでない）か、または（Ｑである）。
「記号」で書くと、
① 　Ｐ→Ｑ
② ～Ｐ∨Ｑ
に於いて、
①＝② である。
従って、
（11）により、
（12）
Ｐ＝Ｐでない。
Ｑ＝Ｐである。
といふ「代入（replacement）」により、
①（Ｐでないである）ならば、　（Ｐであるである）。
②（Ｐでないでない）か、または（Ｐであるである）。
に於いて、
①＝② である。
然るに、
（12）により、
（13）
「否定肯定律（？）」と、
「肯定肯定律（？）」と、
「二重否定律（DN）」により、
①（Ｐでない）ならば、　（Ｐである）。
②（Ｐである）か、または（Ｐである）。
に於いて、
①＝② である。
従って、
（01）～（08）と、
（09）～（13）により、
（14）
「日本語」で「考へ」ても、
「論理式」で「計算」しても、
①（Ｐでない）ならば、　（Ｐである）。
②（Ｐである）か、または（Ｐである）。
に於いて、
①＝② である。
然るに、
（15）
②（Ｐである）か、または（Ｐである）。
③（Ｐである）。
に於いて、
②＝③ は、「冪等律」である。
従って、
（14）（15）により、
（16）
①（Ｐでない）ならば、　（Ｐである）。
②（Ｐである）か、または（Ｐである）。
③（Ｐである）。
に於いて、
①＝②＝③ である。
従って、
（16）により、
（17）
「昨日（令和６年１月３１日）」も書いた通り、
①（Ｐでない）ならば（Ｐである）。
②（Ｐである）。
に於いて、
①＝② である。