「不思議な恒真式（Ｐならば、Ｐでないならば、Ｐである）」の「補足」。

（01）
　―「昨日（令和０２年１０月２８日）の記事で、確認した通り、―
①　　 　　Ｐ≡Ｐである（仮定）。
② 　　Ｐ∨Ｐ≡Ｐであるか、または、Ｐである（冪等律）。
③ ～～Ｐ∨Ｐ≡Ｐでない、でない、であるか、または、Ｐである（二重否定律）。
④ 　～Ｐ→Ｐ≡Ｐでないならば、Ｐである（含意の定義）。
に於いて、
①＝②＝③＝④ である。
従って、
（01）により、
（02）
「番号」を、付け直すと、
①　　 　　Ｐ≡Ｐである（仮定）。
② 　～Ｐ→Ｐ≡Ｐでないならば、Ｐである（含意の定義）。
に於いて、
①＝② である。
従って、
（02）により、
（03）
①　　 　　Ｐ≡Ｐである（仮定）。
② 　～Ｐ→Ｐ≡Ｐでないならば、Ｐである（含意の定義）。
に於いて、
Ｐ＝～Ｐ
といふ「代入（Substitution）」行ふと、
①　　 　　～Ｐ≡Ｐでない（仮定）。
② ～～Ｐ→～Ｐ≡Ｐでない、でないならば、Ｐでない（含意の定義）。
に於いて、
①＝② である。
従って、
（03）により、
（04）
「二重否定（ＤＮ）」により、
① 　　～Ｐ≡Ｐでない（仮定）。
② Ｐ→～Ｐ≡Ｐならば、Ｐでない（含意の定義）。
に於いて、
①＝② である。
然るに、
（05）
（ⅰ）
１　（１）～Ｐ　　　　仮定
１　（２）～Ｐ∨～Ｐ　１冪等律
１　（３）　Ｐ→～Ｐ　２含意の定義
（ⅱ）
１　（１）　Ｐ→～Ｐ　仮定
　２（２）　Ｐ　　　　仮定
１２（３）　　　～Ｐ　１２ＭＰＰ
１２（４）　Ｐ＆～Ｐ　２３＆Ｉ
１　（５）～Ｐ　　　　２４ＲＡＡ
従って、
（04）（05）により、
（06）
確かに、
① 　　～Ｐ≡Ｐでない。
② Ｐ→～Ｐ≡Ｐならば、Ｐでない。
に於いて、
①＝② である。
従って、
（06）により、
（07）
Ｐ≡太陽は西から昇る。
であるとして、
① 　　～Ｐ≡太陽は西から昇らない。
② Ｐ→～Ｐ≡太陽が西から昇るならば、太陽は西から昇らない。
に於いて、
①＝② である。
然るに、
（08）
③ 太陽は西からは昇らない。従って、「太陽が西から昇るとしても」、太陽は西からは昇らない。
といふ「言ひ方」は、
③ 太陽は西からは昇らない。「何が有っても」、絶対に、 太陽は西からは昇らない。
といふ「意味」に、解することも「可能」である。
従って、
（07）（08）により、
（09）
③ 太陽は西からは昇らない。従って、「太陽が西から昇るとしても」、太陽は西からは昇らない。
といふ「言ひ方」を、
③ 太陽は西からは昇らない。「何が有っても」、絶対に、 太陽は西からは昇らない。
といふ「意味」に、解する限り、
① 　　～Ｐ≡太陽は西から昇らない。
② Ｐ→～Ｐ≡太陽が西から昇るならば、太陽は西から昇らない。
に於いて、
①＝② である。
といふことは、それほど「奇異」であるとは、言へない。
従って、
（02）（07）（08）（09）により、
（10）
③ 太陽は東から昇る。従って、「太陽が東から昇らないとしても」、太陽は東から昇る。
といふ「言ひ方」を、
③ 太陽は東から昇る。「何があっても」、絶対に、太陽は東から昇る。
といふ「意味」に、解する限り、
① 　　　Ｐ≡太陽は東から昇る。
② ～Ｐ→Ｐ≡太陽が東から昇らないならば、太陽は東から昇る。
に於いて、
①＝② であるとしても、それほど「奇異」であるとは、言へない。はずである。
令和０２年１０月２９日、毛利太。