人気ブログランキング |

P296の確認問題7

問a
xでyが始まり、yでxが始まるならば、x=yとなる

xでyが始まる
xBy:x=y∨∃z(xz=y)

yでxが始まる
yBx:y=x∨∃w(yw=x)

xBy∧yBxが成り立つのは、x=yのときである。

#スマリヤンのゲーデル・パズル
by tomoarrow | 2016-06-12 07:00 | モチーフについて | Comments(0)