「幹事は私です（私以外は幹事ではない）。」の「述語論理」。

（01）
（ⅱ）
１　　（１）　　∀ｘ（Ｆｘ→Ｇｘ）　　Ａ
２　（２）　∃ｘ（～Ｇｘ＆Ｆｘ）　　Ａ
１　　（３）　　　　　Ｆａ→Ｇａ　　　１ＵＥ
　　４（４）　　　　～Ｇａ＆Ｆａ　　　Ａ
　　４（５）　　　　　　　　Ｆａ　　　４＆Ｅ
１　４（６）　　　　　　　　Ｇａ　　　３５ＭＰＰ
　　４（７）　　　　～Ｇａ　　　　　　４＆Ｅ
１　４（８）　　　　～Ｇａ＆Ｇａ　　　６７＆Ｅ
　　４（９）　～∀ｘ（Ｆｘ→Ｇｘ）　　１８ＲＡＡ
　２　（ア）　～∀ｘ（Ｆｘ→Ｇｘ）　　２４９ＥＥ
１２　（イ）　　∀ｘ（Ｆｘ→Ｇｘ）＆
　　　　　　　～∀ｘ（Ｆｘ→Ｇｘ）　　１ア＆I
１　　（ウ）～∃ｘ（～Ｇｘ＆Ｆｘ）　　２イＲＡＡ
（ⅲ）
１　　　（１）～∃ｘ（～Ｇｘ＆Ｆｘ）　　Ａ
　２　　（２）　　　　～Ｇａ＆Ｆａ　　　Ａ
　２　　（３）　∃ｘ（～Ｇｘ＆Ｆｘ）　　２ＥＩ
１２　　（４）～∃ｘ（～Ｇｘ＆Ｆｘ）＆
　　　　　　　　∃ｘ（～Ｇｘ＆Ｆｘ）　　１３＆Ｉ
１　　　（５）　　～（～Ｇａ＆Ｆａ）　　２４ＲＡＡ
　　６　（６）　　　　　　　　Ｆａ　　　Ａ
　　　７（７）　　　　～Ｇａ　　　　　　Ａ
　　６７（８）　　　　～Ｇａ＆Ｆａ　　　６７＆Ｉ
１　６７（９）　　～（～Ｇａ＆Ｆａ）＆
　　　　　　　　　　（～Ｇａ＆Ｆａ）　　５８＆Ｉ
１　６　（ア）　　　～～Ｇａ　　　　　　７９ＲＡＡ
１　６　（イ）　　　　　Ｇａ　　　　　　６ＤＮ
１　　　（ウ）　　　　　Ｆａ→Ｇａ　　　６イＣＰ
１　　　（エ）　　∀ｘ（Ｆｘ→Ｇｘ）　　ウＵＩ
従って、
（01）により、
（02）
② ∀ｘ（ Ｆｘ→Ｇｘ）
③ ～∃ｘ（～Ｇｘ＆Ｆｘ）
に於いて、
②＝③ である。
従って、
（03）
② すべてのｘについて（ｘがＦであるあるならば、ｘはＧである）。
③ （Ｇでなくて、Ｆであるｘ）は存在しない。
に於いて、
②＝③ である。
従って、
（02）（03）により、
（04）
Ｆ＝象
Ｇ＝動物
として、
② すべてのｘについて（ｘが象であるあるならば、ｘは動物である）。
③（動物でないｘであって、象であるｘ）は存在しない。
に於いて、
②＝③ である。
然るに、
（05）
② すべてのｘについて（ｘが象であるあるならば、ｘは動物である）。
③（動物でないｘであって、象であるｘ）は存在しない。
といふことは、
② 象は動物である（象者動物也）。
③ 動物でない象はゐない（無非動物而象）。
といふことに、他ならない。
従って、
（01）～（05）により、
（06）
②   ∀ｘ（  象ｘ→動物ｘ）
③ ～∃ｘ（～動物ｘ＆象ｘ）
に於いて、すなはち、
② 象は動物である。
③ 動物でない象はゐない。
に於いて、
②＝③ であって、この「等式」は、「対偶」である。
従って、
（06）により、
（07）

② 　∀ｘ（  幹事ｘ→私ｘ）
③ ～∃ｘ（～私ｘ＆幹事ｘ）
に於いて、すなはち、
② 幹事は私です。
③ 私以外は幹事ではない。
に於いて、
②＝③ である、
然るに、
（08）
② 私は一人しかゐない。
が故に、
② 私以外は私ではない。
従って、
（08）により、
（09）
② 幹事は私です。
と言へば、それだけで、
③ 私以外は幹事ではない。
従って、
（07）（08）（09）により、
（10）
いづれにせよ、
② 幹事は私です。
③ 私以外は幹事ではない。
に於いて、
②＝③ である。
然るに、
（11）
無題化というのは「Ⅹは」の「は」を消すことですから、
センテンスの形のままでもできないことはありませんが、
センテンスの形では、本当に無題になりきらない場合も起こります。
たとえば、
　私は幹事です。
　私が幹事です。
のように、「は」を消しても、センテンスの意味は、
　幹事は、私です。
というのに近く、題が文中の別の個所に移り隠れたにすぎません。
（山崎美紀子、日本語基礎講座、― 三上文法入門 ―、2003年、６５頁）
従って、
（10）（11）により、
（12）
「無題化」といふことは、兎も角として、
① 私が幹事です。
② 幹事は私です。
③ 私以外は幹事ではない。
に於いて、
①＝②＝③ である。
然るに、
（13）
① 私が幹事です。
といふのであれば、「当然」、
① 私は幹事である。
従って、
（12）（13）により、
（14）
① 私が幹事です。
② 私は幹事であって、幹事は私です。
③ 私は幹事であって、私以外は幹事ではない。
に於いて、
①＝②＝③ である。
従って、
（07）（14）により、
（15）
①　　　 （私が幹事です）。
② ∀ｘ｛（私ｘ→幹事ｘ）＆（幹事ｘ→私ｘ）｝
に於いて、
①＝② である。
従って、
（15）により、
（16）
①　　　 ～（私が幹事です）。
② ～∀ｘ｛（私ｘ→幹事ｘ）＆（幹事ｘ→私ｘ）｝
に於いて、
①＝② である。
然るに、
（17）
（ⅱ）
１　　　（１）　～∀ｘ｛（私ｘ→幹事ｘ）＆（幹事ｘ→私ｘ）｝　Ａ
１　　　（２）　∃ｘ～｛（私ｘ→幹事ｘ）＆（幹事ｘ→私ｘ）｝　１量化子の関係
　３　　（３）　　　～｛（私ａ→幹事ａ）＆（幹事ａ→私ａ）｝　２ＵＥ
　３　　（４）　　　～（私ａ→幹事ａ）∨～（幹事ａ→私ａ）　　３ド・モルガンの法則
　　５　（５）　　　～（私ａ→幹事ａ）　　　　　　　　　　　　Ａ
　　５　（６）　　～（～私ａ∨幹事ａ）　　　　　　　　　　　　５含意の定義
　　５　（７）　　　（私ａ＆～幹事ａ）　　　　　　　　　　　　６ド・モルガンの法則
　　５　（８）　　　（私ａ＆～幹事ａ）∨（幹事ａ＆～私ａ）　　７∨Ｉ
　　　９（９）　　　　　　　　　　　　　～（幹事ａ→私ａ）　　Ａ
　　　９（ア）　　　　　　　　　　　　～（～幹事ａ∨私ａ）　　９含意の定義
　　　９（イ）　　　　　　　　　　　　　（幹事ａ＆～私ａ）　　アド・モルガンの法則
　　　９（ウ）　　　（私ａ＆～幹事ａ）∨（幹事ａ＆～私ａ）　　イ∨Ｉ
　３　　（エ）　　　（私ａ＆～幹事ａ）∨（幹事ａ＆～私ａ）　　４５８９ウ∨Ｅ
　３　　（オ）∃ｘ｛（私ｘ＆～幹事ｘ）∨（幹事ｘ＆～私ｘ）｝　エＥＩ
１　　　（カ）∃ｘ｛（私ｘ＆～幹事ｘ）∨（幹事ｘ＆～私ｘ）｝　２３オＥＥ
（ⅲ）
１　　　（１）∃ｘ｛（私ｘ＆～幹事ｘ）∨（幹事ｘ＆～私ｘ）　　Ａ
　２　　（２）　　　（私ａ＆～幹事ａ）∨（幹事ａ＆～私ａ）　　Ａ
　　３　（３）　　　（私ａ＆～幹事ａ）　　　　　　　　　　　　Ａ
　　３　（４）　～（～私ａ∨　幹事ａ）　　　　　　　　　　　　３ド・モルガンの法則
　　３　（５）　　～（私ａ→　幹事ａ）　　　　　　　　　　　　４含意の定義
　　３　（６）　　～（私ａ→　幹事ａ）∨～（幹事ａ→私ａ）　　５∨Ｉ
　　　７（７）　　　　　　　　　　　　　（幹事ａ＆～私ａ）　　Ａ
　　　７（８）　　　　　　　　　　　　～（～幹事ａ∨私ａ）　　７ド・モルガンの法則
　　　７（９）　　　　　　　　　　　　　～（幹事ａ→私ａ）　　８含意の定義
　　　７（ア）　　　～（私ａ→幹事ａ）∨～（幹事ａ→私ａ）　　９∨Ｉ
　２　　（イ）　　　～（私ａ→幹事ａ）∨～（幹事ａ→私ａ）　　２３６７ア∨Ｅ
　２　　（ウ）　　～｛（私ａ→幹事ａ）＆　（幹事ａ→私ａ）｝　イ、ド・モルガンの法則
　２　　（エ）∃ｘ～｛（私ｘ→幹事ｘ）＆　（幹事ｘ→私ｘ）｝　ウＥＩ
１　　　（オ）∃ｘ～｛（私ｘ→幹事ｘ）＆　（幹事ｘ→私ｘ）｝　１２エＥＥ
１　　　（カ）～∀ｘ｛（私ｘ→幹事ｘ）＆　（幹事ｘ→私ｘ）｝　オ量化子の関係
従って、
（17）により、
（18）
② ～∀ｘ｛（私ｘ→  幹事ｘ）＆（幹事ｘ→  私ｘ）｝
③　 ∃ｘ｛（私ｘ＆～幹事ｘ）∨（幹事ｘ＆～私ｘ）｝
に於いて、
②＝③ である。
従って、
（16）（17）（18）により、
（19）
①　　 　　～（私が幹事です）。
② 　　∃ｘ｛（私ｘ＆～幹事ｘ）∨（幹事ｘ＆～私ｘ）｝
③ あるｘは｛（私であるが幹事ではない）か、または（幹事であるが私ではない）｝。
に於いて、
①＝②＝③ である。
従って、
（19）により、
（20）
① ～（私が幹事です）。
② 私は幹事ではないか、または、私以外も幹事である。
に於いて、
①＝② である。
従って、
（20）により、
（21）
① ～～（私が幹事です）。
② 　～（私は幹事ではないか、または、私以外も幹事である）。
に於いて、
①＝② である。
従って、
（21）により、
（22）
「二重否定律」により、
① 　（私が幹事です）。
② ～（私は幹事ではないか、または、私以外も幹事である）。
①＝② である。
従って、
（22）により、
（23）
①「私が幹事です。」
といふ「日本語」が「真（本当）」であるならば、
②「私は幹事ではないか、または、私以外にも幹事はゐる。」
といふ「日本語」は「偽（ウソ）」になる。
従って、
（23）により、
（24）
②「私は幹事ではないか、または、私以外にも幹事はゐる。」
といふ「日本語」が「真（本当）」であるならば、
①「私が幹事です。」
といふ「日本語」は「偽（ウソ）」になる。
令和０４年０２月１９日、毛利太。