17/10/07 15:22:40.46 3XCqYvtP.net
>>207
>自分が導入した ｘ、ｙ、ｎについて、
>ｘのみならず、すべて自分で定義すべし
定義？何をどう定義してほしいのかな？
まず論理式∃ｘ.ｘ∈N＆∀ｙ.（（ｙ∈Ｎ＆ｙ＞ｘ）⇒P(y)） で、出てくるのはｘ、ｙだけ
そして、ｘは∃で、ｙは∀で、限量されている
上記の式を直訳すれば
「ある自然数ｘが存在し、任意の自然数ｙについてｙがｘより大ならばPを満たす」
という意味 この程度のことは論理式が読めれば誰でもわかる
17/10/07 15:22:40.46 3XCqYvtP.net
>>207
>自分が導入した ｘ、ｙ、ｎについて、
>ｘのみならず、すべて自分で定義すべし
定義？何をどう定義してほしいのかな？
まず論理式∃ｘ.ｘ∈N＆∀ｙ.（（ｙ∈Ｎ＆ｙ＞ｘ）⇒P(y)） で、出てくるのはｘ、ｙだけ
そして、ｘは∃で、ｙは∀で、限量されている
上記の式を直訳すれば
「ある自然数ｘが存在し、任意の自然数ｙについてｙがｘより大ならばPを満たす」
という意味 この程度のことは論理式が読めれば誰でもわかる