「スマリヤンのゲーデル・パズル」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}
(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}
ファン申請 |
||