ドーナツの穴を残して食べる方法
ドーナツの穴を残して食べる方法を思いついた。
ドーナツの穴はドーナツの形状によって存在する。
- ドーナツAの穴にパンを詰める。
- 周りのドーナツAだけを食べる。
※残ったパンの部分を穴の反転であるとみなす。 - ドーナツAと同じ形、同じ大きさのドーナツBを用意する。
- ドーナツBの穴に、そのパンを詰める。
- 詰めたパンだけを食べる。
- 穴が残る。
最後の穴はドーナツBの穴だが、詰めたパン（反転穴）と重ね合わせたことで、ドーナツAの穴であるとも言える。
論理記号を使って無理やり式にしてみた。合ってるのかな？
∃x・f(x) … [1] ⇔ ¬(∃x)∧¬(∃f(x)) … [2] ∃(g(x)≡f(x)) … [3] ¬(∃x)・g(¬x) … [4] ⇔ ∃x・g(¬(¬x)) … [5] ⇔ ∃x・f(x) … [6]
x: 穴
¬x: 反転穴(パン)
f(): ドーナツAの形
g(): ドーナツBの形
この記事のトラックバックURL
http://chimantaea.blog8.fc2.com/tb.php/63-c051428b
※トラックバック元には、この記事へのリンクを含めてください。
