人気ブログランキング | 話題のタグを見る

「スマリヤンのゲーデル・パズル」Q193の別解

正しいのか、あまり自信がないのですが、教本の解答よりも短くなります。

(d)
(x lf z)∧(∀z zPy)

教本の解答
fr(x)∧∀z{(fr(z)∧zPy)⊃x lf z}

(e)
(x lg y)∧xPy

教本の解答
fr(x)∧xPy∧∀z{(fr(z)∧zPy∧z≠x)⊃x lf z}

by tomoarrow | 2015-12-07 07:00 | モチーフについて | Comments(0)