（01）
―「昨日（令和０２年１１月１１日）」は示してゐない所の、―
１ （１）∀ｘ｛Ｐｘ→（Ｔｘ∨Ｂｘ）｝ Ａ
２ （２）∀ｘ（Ｆｘ→～Ｐｘ） Ａ
３ （３）∃ｘ（Ｂｘ＆ Ｆｘ） Ａ
１ （４） Ｐａ→（Ｔａ∨Ｂａ） １ＵＥ
２ （５） Ｆａ→～Ｐａ １ＵＥ
６ （６） Ｂａ＆ Ｆａ Ａ
７（７） Ｐａ Ａ
１ ７（８） Ｔａ∨Ｂａ ４７ＭＰＰ
１ ７（９） Ｂａ∨Ｔａ ８交換法則
１ ７（ア） ～～Ｂａ∨Ｔａ ９ＤＮ
１ ７（イ） ～Ｂａ→Ｔａ ア含意の定義
６ （ウ） Ｂａ ６＆Ｅ
６ （エ） Ｆａ ６＆Ｅ
２ ６ （オ） ～Ｐａ ５エＭＰＰ
２ ６７（カ） Ｐａ＆～Ｐａ ７オ＆Ｉ
２ ７（キ） ～（Ｂａ＆ Ｆａ） ６カＲＡＡ
２ ７（ク） ～Ｂａ∨～Ｆａ キ、ド・モルガンの法則
２ （ケ） Ｂａ→～Ｆａ ク含意の定義
２ ６ （コ） ～Ｆａ ウケＭＰＰ
２ ６ （サ） Ｆａ＆～Ｆａ エコ＆Ｉ
２ （シ） ～Ｂａ ６サＲＡＡ
１２ ７（ス） Ｔａ イシＭＰＰ
１２ （セ） Ｐａ→Ｔａ ７スＣＰ
１２ （ソ）∀ｘ（Ｐｘ→Ｔｘ） セＵＩ
といふ「計算」を、「計算（01）」とする。
（02）
―「昨日（令和０２年１１月１１日）」に示した所の、―
１ （１）∀ｘ｛Ｐｘ→（Ｔｘ∨Ｂｘ）｝ Ａ
２ （２）∀ｘ（Ｆｘ→～Ｐｘ） Ａ
３ （３）∃ｘ（Ｂｘ＆Ｆｘ） Ａ
１ （４） Ｐａ→（Ｔａ∨Ｂａ） １ＵＥ
２ （５） Ｆａ→～Ｐａ １ＵＥ
６ （６） Ｂａ＆Ｆａ Ａ
７（７） Ｐａ Ａ
１ ７（８） Ｔａ∨Ｂａ ４７ＭＰＰ
１ ７（９） Ｂａ∨Ｔａ ８交換法則
１ ７（ア） ～～Ｂａ∨Ｔａ ９ＤＮ
１ ７（イ） ～Ｂａ→Ｔａ ア含意の定義
６ （ウ） Ｆａ ６＆Ｅ
２ ６ （エ） ～Ｐａ ５ウＭＰＰ
２ ６７（オ） Ｐａ＆～Ｐａ ７エ＆Ｉ
２ ７（カ） ～（Ｂａ＆ Ｆａ） ６オＲＡＡ
２ ７（キ） ～Ｂａ∨～Ｆａ カ、ド・モルガンの法則
２ ７（ク） ～Ｆａ∨～Ｂａ キ交換法則
２ ７（ケ） Ｆａ→～Ｂａ ク含意の定義
２ ６７（コ） ～Ｂａ ウケＭＰＰ
２３ ７（サ） ～Ｂａ ３６コＥＥ
１２３ ７（シ） Ｔａ イサＭＰＰ
１２３ （ス） Ｐａ→Ｔａ ７シＣＰ
１２３ （セ）∀ｘ（Ｐｘ→Ｔｘ） スＵＩ
といふ「計算」を、「計算（02）」とする。
従って、
（01）（02）により、
（03）
１２ （ソ）∀ｘ（Ｐｘ→Ｔｘ） セＵＩ
といふ「結論」は、「計算（01）」であって、
１２３ （セ）∀ｘ（Ｐｘ→Ｔｘ） スＵＩ
といふ「結論」は、「結論（02）」である。
従って、
（01）（02）（03）により、
（04）
① ∀ｘ｛Ｐｘ→（Ｔｘ∨Ｂｘ）｝，∀ｘ（Ｆｘ→～Ｐｘ）├ ∀ｘ（Ｐｘ→Ｔｘ）
② ∀ｘ｛Ｐｘ→（Ｔｘ∨Ｂｘ）｝，∀ｘ（Ｆｘ→～Ｐｘ），∃ｘ（Ｂｘ＆Ｆｘ）├ ∀ｘ（Ｐｘ→Ｔｘ）
に於いて、
① は、「計算（01）」に基づく「推論」であって、
② は、「計算（02）」に基づく「推論」である。
従って、
（04）により、
（05）
Ｐ＝大統領である。
Ｆ＝不正を行ふ。
Ｔ＝トランプである。
Ｂ＝バイデンである。
として、
（ⅰ）すべてのｘについて｛ｘが大統領であるならば（ｘはトランプか、または、バイデンである）｝。然るに、
（ⅱ）すべてのｘについて（ｘが不正を行ったのであれば、ｘは大統領ではない）。従って、
（ⅲ）すべてのｘについて（ｘが大統領であるならば、ｘはトランプである）。
といふ「推論」、すなはち、
（ⅰ）大統領は、トランプか、バイデンである。然るに、
（ⅱ）不正を行った者は、大統領にはなれない。従って、
（ⅲ）大統領はトランプである。
といふ「推論」は、
① ∀ｘ｛Ｐｘ→（Ｔｘ∨Ｂｘ）｝，∀ｘ（Ｆｘ→～Ｐｘ）├ ∀ｘ（Ｐｘ→Ｔｘ）
である。
従って、
（04）により、
（06）
（ⅰ）すべてのｘについて｛ｘが大統領であるならば（ｘはトランプか、または、バイデンである）｝。然るに、
（ⅱ）すべてのｘについて（ｘが不正を行ったのであれば、ｘは大統領ではない）。然るに、
（ⅲ）あるｘは（バイデンであって、不正を行った）。従って、
（ⅳ）すべてのｘについて（ｘが大統領であるならば、ｘはトランプである）。
といふ「推論」、すなはち、
（ⅰ）大統領は、トランプか、バイデンである。然るに、
（ⅱ）不正を行った者は、大統領にはなれない。然るに、
（ⅲ）バイデンは、不正を行った。従って、
（ⅳ）大統領はトランプである。
といふ「推論」が、
② ∀ｘ｛Ｐｘ→（Ｔｘ∨Ｂｘ）｝，∀ｘ（Ｆｘ→～Ｐｘ），∃ｘ（Ｂｘ＆Ｆｘ）├ ∀ｘ（Ｐｘ→Ｔｘ）
といふ「推論」である。
然るに、
（07）
（ⅰ）大統領は、トランプか、バイデンである。然るに、
（ⅱ）不正を行った者は、大統領にはなれない。従って、
（ⅲ）大統領はトランプである。
といふ「推論」は、明らかに「妥当」ではなく、
（ⅰ）大統領は、トランプか、バイデンである。然るに、
（ⅱ）不正を行った者は、大統領にはなれない。然るに、
（ⅲ）バイデンは、不正を行った。従って、
（ⅳ）大統領はトランプである。
といふ「推論」こそが、「妥当」である（推論の妥当性と、真実か否かは、関係が無い）。
従って、
（01）（05）（06）（07）により、
（08）
「昨日、最初」に思ひついた所の、
１ （１）∀ｘ｛Ｐｘ→（Ｔｘ∨Ｂｘ）｝ Ａ
２ （２）∀ｘ（Ｆｘ→～Ｐｘ） Ａ
３ （３）∃ｘ（Ｂｘ＆ Ｆｘ） Ａ
１ （４） Ｐａ→（Ｔａ∨Ｂａ） １ＵＥ
２ （５） Ｆａ→～Ｐａ １ＵＥ
６ （６） Ｂａ＆ Ｆａ Ａ
７（７） Ｐａ Ａ
１ ７（８） Ｔａ∨Ｂａ ４７ＭＰＰ
１ ７（９） Ｂａ∨Ｔａ ８交換法則
１ ７（ア） ～～Ｂａ∨Ｔａ ９ＤＮ
１ ７（イ） ～Ｂａ→Ｔａ ア含意の定義
６ （ウ） Ｂａ ６＆Ｅ
６ （エ） Ｆａ ６＆Ｅ
２ ６ （オ） ～Ｐａ ５エＭＰＰ
２ ６７（カ） Ｐａ＆～Ｐａ ７オ＆Ｉ
２ ７（キ） ～（Ｂａ＆ Ｆａ） ６カＲＡＡ
２ ７（ク） ～Ｂａ∨～Ｆａ キ、ド・モルガンの法則
２ （ケ） Ｂａ→～Ｆａ ク含意の定義
２ ６ （コ） ～Ｆａ ウケＭＰＰ
２ ６ （サ） Ｆａ＆～Ｆａ エコ＆Ｉ
２ （シ） ～Ｂａ ６サＲＡＡ
１２ ７（ス） Ｔａ イシＭＰＰ
１２ （セ） Ｐａ→Ｔａ ７スＣＰ
１２ （ソ）∀ｘ（Ｐｘ→Ｔｘ） セＵＩ
といふ「計算」は、「マチガイ」であるし、固より、
「ＥＥ（存在量記号除去の規則）」の「適用」を「予定」して始めたにも拘らず、
「ＥＥ（存在量記号除去の規則）」を「適用」しなかった「計算」は、
「これ迄、１度も行った」ことがなく、そのため、
１２ （ソ）∀ｘ（Ｐｘ→Ｔｘ） セＵＩ
といふ「結果」を見た際には、「本当かよ！？」といふのが、「率直な、感想」であった。
そのため、
（01）（02）（08）により、
（09）
「計算（01）」を放棄して、
「計算（02）」を採用したのであるが、
「計算（02）」も、「なかなか、興味深い」。
（10）
１ （１）∀ｘ｛Ｐｘ→（Ｔｘ∨Ｂｘ）｝ Ａ
２ （２）∀ｘ（Ｆｘ→～Ｐｘ） Ａ
３ （３）∃ｘ（Ｂｘ＆Ｆｘ） Ａ
１ （４） Ｐａ→（Ｔａ∨Ｂａ） １ＵＥ
２ （５） Ｆａ→～Ｐａ １ＵＥ
６ （６） Ｂａ＆Ｆａ Ａ
７（７） Ｐａ Ａ
１ ７（８） Ｔａ∨Ｂａ ４７ＭＰＰ
１ ７（９） Ｂａ∨Ｔａ ８交換法則
１ ７（ア） ～～Ｂａ∨Ｔａ ９ＤＮ
１ ７（イ） ～Ｂａ→Ｔａ ア含意の定義
６ （ウ） Ｆａ ６＆Ｅ
２ ６ （エ） ～Ｐａ ５ウＭＰＰ
２ ６７（オ） Ｐａ＆～Ｐａ ７エ＆Ｉ
２ ７（カ） ～（Ｂａ＆ Ｆａ） ６オＲＡＡ
２ ７（キ） ～Ｂａ∨～Ｆａ カ、ド・モルガンの法則
２ ７（ク） ～Ｆａ∨～Ｂａ キ交換法則
２ ７（ケ） Ｆａ→～Ｂａ ク含意の定義
２ ６７（コ） ～Ｂａ ウケＭＰＰ
２３ ７（サ） ～Ｂａ ３６コＥＥ
１２３ ７（シ） Ｔａ イサＭＰＰ
１２３ （ス） Ｐａ→Ｔａ ７シＣＰ
１２３ （セ）∀ｘ（Ｐｘ→Ｔｘ） スＵＩ
に於ける、
２ ７（キ） ～Ｂａ∨～Ｆａ カ、ド・モルガンの法則
２ ７（ク） ～Ｆａ∨～Ｂａ キ交換法則
２ ７（ケ） Ｆａ→～Ｂａ ク含意の定義
といふ「３行」は、
２ ７（キ） ～Ｂａ∨～Ｆａ カ、ド・モルガンの法則
２ ７（ク） Ｂａ→～Ｆａ キ含意の定義
といふ「２行」であることも、「可能」であり、そのため、
６ （ケ） Ｂａ ６＆Ｅ
２ ６７（コ） ～Ｆａ クケＭＰＰ
といふ「計算」も、「可能」である。
然るに、
（11）
２ ６７（コ） ～Ｆａ クケＭＰＰ
であるとすると、
６ （ウ） Ｆａ ６＆Ｅ
ではないため、
２ ６ （エ） ～Ｐａ ５ウＭＰＰ
２ ６７（オ） Ｐａ＆～Ｐａ ７エ＆Ｉ
２ ７（カ） ～（Ｂａ＆ Ｆａ） ６オＲＡＡ
２ ７（キ） ～Ｂａ∨～Ｆａ カ、ド・モルガンの法則
２ ７（ク） ～Ｆａ∨～Ｂａ キ交換法則
２ ７（ケ） Ｆａ→～Ｂａ ク含意の定義
２ ６７（コ） ～Ｂａ ウケＭＰＰ
２３ ７（サ） ～Ｂａ ３６コＥＥ
１２３ ７（シ） Ｔａ イサＭＰＰ
１２３ （ス） Ｐａ→Ｔａ ７シＣＰ
１２３ （セ）∀ｘ（Ｐｘ→Ｔｘ） スＵＩ
ではない。
そのため、
（04）（08）（11）により、
（12）
① ∀ｘ｛Ｐｘ→（Ｔｘ∨Ｂｘ）｝，∀ｘ（Ｆｘ→～Ｐｘ）├ ∀ｘ（Ｐｘ→Ｔｘ）
② ∀ｘ｛Ｐｘ→（Ｔｘ∨Ｂｘ）｝，∀ｘ（Ｆｘ→～Ｐｘ），∃ｘ（Ｂｘ＆Ｆｘ）├ ∀ｘ（Ｐｘ→Ｔｘ）
に於ける、
① だけなく、結局は、
② も「マチガイ」なのか（？）。
といふ風に、「自信」を、無くしかけた。
しかしながら、
（13）
６ （ウ） Ｆａ ６＆Ｅ
でなければ、
２ ６ （エ） ～Ｐａ ５ウＭＰＰ
ではないし、
２ ６ （エ） ～Ｐａ ５ウＭＰＰ
でなければ、
２ ６７（オ） Ｐａ＆～Ｐａ ７エ＆Ｉ
ではないし、
２ ６７（オ） Ｐａ＆～Ｐａ ７エ＆Ｉ
でなければ、
２ ７（キ） ～Ｂａ∨～Ｆａ カ、ド・モルガンの法則
ではないし、
２ ７（キ） ～Ｂａ∨～Ｆａ カ、ド・モルガンの法則
でなければ、
２ ７（ク） Ｂａ→～Ｆａ キ含意の定義
６ （ケ） Ｂａ ６＆Ｅ
２ ６７（コ） ～Ｆａ クケＭＰＰ
でない。
然るに、
（13）により、
（14）
（ウ） Ｆａ（ａはＦである。）
といふことが、
（コ）～Ｆａ（ａはＦでない。）
といふことの、「原因」である。
といふことは、「矛盾」である。
従って、
（10）～（14）により、
（15）
２ ７（キ） ～Ｂａ∨～Ｆａ カ、ド・モルガンの法則
２ ７（ク） ～Ｆａ∨～Ｂａ キ交換法則
２ ７（ケ） Ｆａ→～Ｂａ ク含意の定義
といふ「３行」を、
２ ７（キ） ～Ｂａ∨～Ｆａ カ、ド・モルガンの法則
２ ７（ク） Ｂａ→～Ｆａ キ含意の定義
といふ「２行」に、「書き換へる」べきではない。
従って、
（02）（15）により、
（16）
―「昨日（令和０２年１１月１１日）」に示した所の、―
１ （１）∀ｘ｛Ｐｘ→（Ｔｘ∨Ｂｘ）｝ Ａ
２ （２）∀ｘ（Ｆｘ→～Ｐｘ） Ａ
３ （３）∃ｘ（Ｂｘ＆Ｆｘ） Ａ
１ （４） Ｐａ→（Ｔａ∨Ｂａ） １ＵＥ
２ （５） Ｆａ→～Ｐａ １ＵＥ
６ （６） Ｂａ＆Ｆａ Ａ
７（７） Ｐａ Ａ
１ ７（８） Ｔａ∨Ｂａ ４７ＭＰＰ
１ ７（９） Ｂａ∨Ｔａ ８交換法則
１ ７（ア） ～～Ｂａ∨Ｔａ ９ＤＮ
１ ７（イ） ～Ｂａ→Ｔａ ア含意の定義
６ （ウ） Ｆａ ６＆Ｅ
２ ６ （エ） ～Ｐａ ５ウＭＰＰ
２ ６７（オ） Ｐａ＆～Ｐａ ７エ＆Ｉ
２ ７（カ） ～（Ｂａ＆ Ｆａ） ６オＲＡＡ
２ ７（キ） ～Ｂａ∨～Ｆａ カ、ド・モルガンの法則
２ ７（ク） ～Ｆａ∨～Ｂａ キ交換法則
２ ７（ケ） Ｆａ→～Ｂａ ク含意の定義
２ ６７（コ） ～Ｂａ ウケＭＰＰ
２３ ７（サ） ～Ｂａ ３６コＥＥ
１２３ ７（シ） Ｔａ イサＭＰＰ
１２３ （ス） Ｐａ→Ｔａ ７シＣＰ
１２３ （セ）∀ｘ（Ｐｘ→Ｔｘ） スＵＩ
といふ「計算」は、「妥当」である。