2013-12-09から1日間の記事一覧
http://d.hatena.ne.jp/ehito/20131208/1386496330 で述べた(4)は ∃k( ∃x(x∈D∧k=f(x)) ∧ ∀x(x∈D→k≦f(x)) ∧ ∀x(x∈D→k≧f(x)) ) であり,これはDが空集合でないなら(5),つまり ∃k( ∀x(x∈D→k≦f(x)) ∧ ∀x(x∈D→k≧f(x)) ) と等価です. しかも,∀x(x∈D→0≦p(x…
http://d.hatena.ne.jp/ehito/20131208/1386496330 で述べた(4)は ∃k( ∃x(x∈D∧k=f(x)) ∧ ∀x(x∈D→k≦f(x)) ∧ ∀x(x∈D→k≧f(x)) ) であり,これはDが空集合でないなら(5),つまり ∃k( ∀x(x∈D→k≦f(x)) ∧ ∀x(x∈D→k≧f(x)) ) と等価です. しかも,∀x(x∈D→0≦p(x…