|
|
|
|
|
|
|
【表現5-3】は【表現5-2】と同じこと。互いに言い換えてよい。
|
|
|
|
※どうして?
【表現5-2】 ⇒【表現5-3】
|
【表現5-3】 ⇒【表現5-2】
|
【表現5-2】 ∀ε>0 ∃ω∈(a−ε, a+ε) (ω∈E ) かつ ∀ε>0 ∃ω∈(a−ε, a+ε) (ωE)
⇔∀ε>0 ∃ω∈(a−ε, a+ε) (ω∈E ) かつ ∀ε>0 ∃ω∈(a−ε, a+ε) (ωE) かつ ( a∈E または aE )
∵排中律より「 a∈E または aE 」は恒真命題であること、「Pかつ恒真命題」と「P」とは互いに言い換えてよいことから。
⇔( ∀ε>0 ∃ω∈(a−ε, a+ε) (ω∈E ) かつ ∀ε>0 ∃ω∈(a−ε, a+ε) (ωE) かつ a∈E )
または
( ∀ε>0 ∃ω∈(a−ε, a+ε) (ω∈E ) かつ ∀ε>0 ∃ω∈(a−ε, a+ε) (ωE) かつ aE )
∵《かつ》《または》の分配律にしたがって
⇒【表現5-3】 (a∈Eかつ ∀ε>0 ∃ω∈(a−ε, a+ε) ωE)または (aE かつ ∀ε>0 ∃ω∈(a−ε, a+ε) ω∈E )
∵「かつ」の除去則
|
・一般に、 「『命題Aまたは命題B』⇒命題C」 は、「命題A⇒命題C」かつ「命題B⇒命題C」と言い換え可能だから(→含意の言換3)、
【表現5-3】 (a∈Eかつ ∀ε>0 ∃ω∈(a−ε, a+ε) ωE)または (aE かつ ∀ε>0 ∃ω∈(a−ε, a+ε) ω∈E )
⇒ 【表現5-2】 ∀ε>0 ∃ω∈(a−ε, a+ε) (ω∈E ) かつ ∀ε>0 ∃ω∈(a−ε, a+ε) (ωE)
を示すには、
(1) 「a∈E かつ ∀ε>0 ∃ω∈(a−ε, a+ε) (ωE)」 ⇒ 「∀ε>0 ∃ω∈(a−ε, a+ε) (ω∈E ) かつ ∀ε>0 ∃ω∈(a−ε, a+ε) (ωE) 」
(2) 「 aE かつ ∀ε>0 ∃ω∈(a−ε, a+ε) (ω∈E )」 ⇒ 「∀ε>0 ∃ω∈(a−ε, a+ε) (ω∈E ) かつ ∀ε>0 ∃ω∈(a−ε, a+ε) (ωE) 」
の両方が成り立つことを示せばよい。
・a∈E ⇒ 「∀ε>0 (a∈(a−ε, a+ε) かつ a∈E )」 なので、 a∈E ⇒ 「∀ε>0 ∃ω∈(a−ε, a+ε) (ω∈E )」。だから、(1)は成り立つ。
・aE ⇒ 「∀ε>0 (a∈(a−ε, a+ε) かつ aE )」なので、 aE ⇒ 「∀ε>0 ∃ω∈(a−ε, a+ε) (ωE)」。だから、(2)は成り立つ。
|
|
|
|
|
|
|
|