「ハロ発売記念。お気に入りガンダム」記事へのコメント

論理式

[t-toshi (6105)]

∃ガンダムって弱そうですね。 論理プログラムが研究分野なので。

Re:論理式

[Anonymous Coward]

>∃ガンダム

そんなガンダムがあるんですか？

Re:論理式

[oku (4610)]

>∃ガンダム

そんなガンダムがあるんですか？

「∀」が論理記号の「いかなる (any)」であることと引っ掛けているのではないかと想像します。

# ちなみに「∃」は「存在する (exist)」ですね。