「トランプが大統領である」の「述語論理（Ⅱ）」。

（01）
（ⅰ）
１　　　　　（１）∀ｘ｛～Ｂｘ→（Ｐｘ→Ｔｘ）｝　Ａ
１　　　　　（２）　　　～Ｂａ→（Ｐａ→Ｔａ）　　１ＵＥ
　３　　　　（３）　　　～Ｂａ　　　　　　　　　　Ａ
１３　　　　（４）　　　　　　　　Ｐａ→Ｔａ　　　２３ＭＰＰ
　　５　　　（５）　　　　　　　　　　～Ｔａ　　　Ａ
１３５　　　（６）　　　　　　　～Ｐａ　　　　　　４５ＭＴＴ
１３　　　　（７）　　　～Ｔａ→～Ｐａ　　　　　　５６ＣＰ
１　　　　　（８）～Ｂａ→（～Ｔａ→～Ｐａ）　　　３７ＣＰ
　　　９　　（９）～Ｔａ＆～Ｂａ　　　　　　　　　Ａ
　　　９　　（ア）～Ｔａ　　　　　　　　　　　　　９＆Ｅ
　　　９　　（イ）　　　　～Ｂａ　　　　　　　　　９＆Ｅ
１　　９　　（ウ）　　　　　～Ｔａ→～Ｐａ　　　　８イＭＰＰ
１　　９　　（エ）　　　　　　　　　～Ｐａ　　　　アウＭＰＰ
１　　　　　（オ）　～Ｔａ＆～Ｂａ→～Ｐａ　　　　９エＣＰ
　　　　カ　（カ）　　　　　　　　　　Ｐａ　　　　Ａ
　　　　カ　（キ）　　　　　　　　～～Ｐａ　　　　カＤＮ
１　　　カ　（ク）～（～Ｔａ＆～Ｂａ）　　　　　　オキＭＴＴ
１　　　カ　（ケ）　　　Ｔａ∨　Ｂａ　　　　　　　ク、ド・モルガンの法則
１　　　　　（コ）　　　Ｐａ→（Ｔａ∨Ｂａ）　　　カケＣＰ
１　　　　　（サ）∀ｘ｛Ｐｘ→（Ｔｘ∨Ｂｘ）｝　　コＵＩ
１　　　　　（〃）大統領は、トランプか、バイデンである。
（ⅱ）
１　　　　　（１）　∀ｘ｛Ｐｘ→（Ｔｘ∨Ｂｘ）｝　Ａ
１　　　　　（２）　　　　Ｐａ→（Ｔａ∨Ｂａ）　　１ＵＥ
　３　　　　（３）　　　　　　　～Ｔａ＆～Ｂａ　　Ａ
　３　　　　（４）　　　　　　～（Ｔａ∨Ｂａ）　　３ド・モルガンの法則
１３　　　　（５）　　～Ｐａ　　　　　　　　　　　２４ＭＴＴ
１　　　　　（６）　　～Ｔａ＆～Ｂａ→～Ｐａ　　　３５ＣＰ
　　７　　　（７）　　　　　　～Ｂａ　　　　　　　Ａ
　　　８　　（８）　　～Ｔａ　　　　　　　　　　　Ａ
　　７８　　（９）　　～Ｔａ＆～Ｂａ　　　　　　　７８＆Ｉ
１　７８　　（ア）　　　　　　　　　　～Ｐａ　　　６９ＭＰＰ
１　７　　　（イ）　　　　　　～Ｔａ→～Ｐａ　　　８アＣＰ
　 　　 ウ　（ウ）　　　　　　　　　　　Ｐａ　　　Ａ
　　　　ウ　（エ）　　　　　　　　　～～Ｐａ　　　ウＤＮ
１　７　ウ　（オ）　　　　　～～Ｔａ　　　　　　　イエＭＴＴ
１　７　ウ　（カ）　　　　　　　Ｔａ　　　　　　　オＤＮ
１　７　　　（キ）　　　　　　　　Ｐａ→Ｔａ　　　ウカＣＰ
１　　　　　（ク）　　　～Ｂａ→（Ｐａ→Ｔａ）　　７キＣＰ
１　　　　　（ケ）∀ｘ｛～Ｂｘ→（Ｐｘ→Ｔｘ）｝　クＵＩ
１　　　　　（〃）バイデンでないならば、大統領はトランプである。
従って、
（01）により、
（02）
① ∀ｘ｛～Ｂｘ→（Ｐｘ→Ｔｘ）｝
② ∀ｘ｛　Ｐｘ→（Ｔｘ∨Ｂｘ）｝
に於いて、
①＝② であるが、この「等式」を、『定理（１）』とする。
然るに、
（03）
１　　　　（１）∀ｘ｛～Ｂｘ→（Ｐｘ→Ｔｘ）｝　Ａ
１　　　　（〃）∀ｘ｛　Ｐｘ→（Ｔｘ∨Ｂｘ）｝　１『定理（１）』
　２　　　（２）∀ｘ（Ｆｘ→～Ｐｘ）　　　　　　Ａ
　　３　　（３）∃ｘ（Ｂｘ＆Ｆｘ）　　　　　　　Ａ
１　　　　（４）　　　Ｐａ→（Ｔａ∨Ｂａ）　　　１ＵＥ
　２　　　（５）　　　Ｆａ→～Ｐａ　　　　　　　１ＵＥ
　　　６　（６）　　　Ｂａ＆Ｆａ　　　　　　　　Ａ
　　　　７（７）　　　Ｐａ　　　　　　　　　　　Ａ
１　　　７（８）　　　　　　　Ｔａ∨Ｂａ　　　　４７ＭＰＰ
１　　　７（９）　　　　　　　Ｂａ∨Ｔａ　　　　８交換法則
１　　　７（ア）　　　　　～～Ｂａ∨Ｔａ　　　　９ＤＮ
１　　　７（イ）　　　　　　～Ｂａ→Ｔａ　　　　ア含意の定義
　　　６　（ウ）　　　　　　　Ｆａ　　　　　　　６＆Ｅ
　２　６　（エ）　　　　　　～Ｐａ　　　　　　　５ウＭＰＰ
　２　６７（オ）　　　Ｐａ＆～Ｐａ　　　　　　　７エ＆Ｉ
　２　　７（カ）　～（Ｂａ＆　Ｆａ）　　　　　　６オＲＡＡ
　２　　７（キ）　　～Ｂａ∨～Ｆａ　　　　　　　カ、ド・モルガンの法則
　２　　７（ク）　　～Ｆａ∨～Ｂａ　　　　　　　キ交換法則
　２　　７（ケ）　　　Ｆａ→～Ｂａ　　　　　　　ク含意の定義
　２　６７（コ）　　　　　　～Ｂａ　　　　　　　ウケＭＰＰ
　２３　７（サ）　　　　　　～Ｂａ　　　　　　　３６コＥＥ
１２３　７（シ）　　　　　　　　　　Ｔａ　　　　イサＭＰＰ
１２３　　（ス）　　　Ｐａ→Ｔａ　　　　　　　　７シＣＰ
１２３　　（セ）∀ｘ（Ｐｘ→Ｔｘ）　　　　　　　スＵＩ
従って、
（03）により、
（04）
（１）∀ｘ｛～Ｂｘ→（Ｐｘ→Ｔｘ）｝然るに、
（２）∀ｘ（Ｆｘ→～Ｐｘ）　　　　　然るに、
（３）∃ｘ（Ｂｘ＆Ｆｘ）　　　　　　従って、
（セ）∀ｘ（Ｐｘ→Ｔｘ）
といふ「推論」は「妥当」である。
従って、
（04）により、
（05）
Ｐ＝大統領である。
Ｆ＝不正を行ふ。
Ｔ＝トランプである。
Ｂ＝バイデンである。
として、
（１）すべてのｘについて｛ｘがバイデンでないならば（、ｘが大統領であるならば、ｘはトランプである）｝。然るに、
（２）すべてのｘについて（ｘが不正を行ったのであれば、ｘは大統領ではない）。然るに、
（３）あるｘは（バイデンであって、不正を行った）。従って、
（セ）すべてのｘについて（ｘが大統領であるならば、ｘはトランプである）。
といふ「推論」は「妥当」である。
従って、
（04）（05）により、
（06）
（１）バイデンでないならば、大統領はトランプである。然るに、
（２）不正を行った者は、大統領にはなれない。然るに、
（３）バイデンは不正を行った。従って、
（４）大統領はトランプである。
といふ「推論」は「妥当」である（が、言ふ迄もなく、推論の妥当性と、事実か否かといふことは、関係がない）。
令和０２年１１月１４日、毛利太。