Facts as objects

noteのプロフに固定しているこの記事のタイトルについて，たまに考えるのだが．

$$
\text{Not I} \in \text{organization,
but} \exists x \in \text{I}( x \in \text{organization})
$$

これ，全てを論理式で書くとこうなる．

$$
\neg \text{I} \in \text{organization} \wedge \exists x \in \text{I}( x \in \text{organization})
$$

これらを見比べると，notが$${\neg}$$に対応して，butが$${\wedge}$$に対応してるように見える．