（832）少し意外な（somewhat surprising）恒真式。

（01）
（１）　（Ｆａ＆Ｆｂ＆Ｆｃ）→（Ｇａ∨Ｇｂ∨Ｇｃ）　　　　　仮定
（２）～（Ｆａ＆Ｆｂ＆Ｆｃ）∨（Ｇａ∨Ｇｂ∨Ｇｃ）　　　　　含意の定義
（３）（～Ｆａ∨～Ｆｂ∨～Ｆｃ）∨（Ｇａ∨Ｇｂ∨Ｇｃ）　　　ド・モルガンの法則
（４）　～Ｆａ∨～Ｆｂ∨～Ｆｃ∨Ｇａ∨Ｇｂ∨Ｇｃ　　　　　　結合法則
（５）　～Ｆａ∨Ｇａ∨～Ｆｂ∨Ｇｂ∨～Ｆｃ∨Ｇｃ　　　　　　交換法則
（６）（～Ｆａ∨Ｇａ）∨（～Ｆｂ∨Ｇｂ）∨（～Ｆｃ∨Ｇｃ）　結合法則
（７）　（Ｆａ→Ｇａ）∨（Ｆｂ→Ｇｂ）∨（Ｆｃ→Ｇｃ）　　　含意の定義
従って、
（01）により、
（02）
①（Ｆａ＆Ｆｂ＆Ｆｃ）→（Ｇａ∨Ｇｂ∨Ｇｃ）
②（Ｆａ→Ｇａ）∨（Ｆｂ→Ｇｂ）∨（Ｆｃ→Ｇｃ）
に於いて、
①＝② である。
従って、
（02）により、
（03）
｛ａ、ｂ、ｃ｝が「変域（ドメイン）」であるとして、
① ∀ｘ（Ｆｘ）→∃ｘ（Ｇｘ）
② ∃ｘ（Ｆｘ→Ｇｘ）
に於いて、
①＝② である。
然るに、
（04）
（ⅰ）
１　　　　（１）　∀ｘ（Ｆｘ）→∃ｘ（Ｇｘ）　Ａ
１　　　　（２）～∀ｘ（Ｆｘ）∨∃ｘ（Ｇｘ）　１含意の定義
　３　　　（３）～∀ｘ（Ｆｘ）　　　　　　　　Ａ
　３　　　（４）∃ｘ～（Ｆｘ）　　　　　　　　３量化子の関係
　　５　　（５）　　　～Ｆａ　　　　　　　　　Ａ
　　５　　（６）　　　～Ｆａ∨Ｇａ　　　　　　５∨Ｉ
　３　　　（７）　　　～Ｆａ∨Ｇａ　　　　　　４５６ＥＥ
　　　８　（８）　　　　　　　　∃ｘ（Ｇｘ）　Ａ
　　　　９（９）　　　　　　　　　　　Ｇａ　　Ａ
　　　　９（ア）　　　　　　　～Ｆａ∨Ｇａ　　９∨Ｉ
　　　８　（イ）　　　　　　　～Ｆａ∨Ｇａ　　８９アＥＥ
１　　　　（ウ）　　　～Ｆａ∨Ｇａ　　　　　　２３７８イ∨Ｅ
１　　　　（エ）　　　　Ｆａ→Ｇａ　　　　　　ウ含意の定義
１　　　　（オ）　∃ｘ（Ｆｘ→Ｇｘ）　　　　　エＥＩ
（ⅱ）
　　１　　（１）　　　　　∃ｘ（Ｆｘ→Ｇｘ）　Ａ
　　　２　（２）　　　　　　　　Ｆａ→Ｇａ　　Ａ
　　　　３（３）　　　　　∀ｘ（Ｆｘ）　　　　Ａ
　　　　３（４）　　　　　　　　Ｆａ　　　　　３ＵＥ
　　　２３（５）　　　　　　　　　　　Ｇａ　　２４ＭＰＰ
　　　２３（６）　　　　　　　　∃ｘ（Ｇｘ）　５ＥＩ
　　１　３（７）　　　　　　　　∃ｘ（Ｇｘ）　１２６ＥＥ
　　１　　（８）　∀ｘ（Ｆｘ）→∃ｘ（Ｇｘ）　３７ＣＰ
従って、
（04）により、
（05）
果たして、「述語計算」の「結果」も、
① ∀ｘ（Ｆｘ）→∃ｘ（Ｇｘ）
② ∃ｘ（Ｆｘ→Ｇｘ）
に於いて、
①＝② である。
従って、
（01）～（05）により、
（06）
① ∀ｘ（Ｆｘ）→∃ｘ（Ｇｘ）
② ∃ｘ（Ｆｘ→Ｇｘ）
に於いて、すなはち、
① すべてのｘがＦならば、あるｘはＧである。
② Ｆであるならば、Ｇである、ｘが存在する。
に於いて、
①＝② である。
従って、
（06）により、
（07）
例へば、
① すべての人が日本人ならば、ある人はアジア人である。
② 日本人であるならば、アジア人である人が、存在する。
に於いて、
①＝② である。
といふことは、少なくとも、「述語論理」として「真」である。
然るに、
（08）
① すべての人が日本人ならば、ある人はアジア人である。
② 日本人であるならば、アジア人である人が、存在する。
に於いて、
①＝② である。
といふことは、「直観的」には、「不思議な感じ（somewhat surprising）」である。
従って、
（09）
「直観的には不思議」であるが、「真」である所の「命題」が存在する。