居酒屋に何人か客が入っているとしよう。このとき、「その人が酒を飲んでいるなら他の客もみんな酒を飲んでいる」ような客が必ずいる。あるいは: ∃x : 客. (飲んでいる(x) ⇒ ∀y : 客. 飲んでいる(y)) Smullyan's drinkers' paradox というらしい。知らなか…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。