まあ、>>219の
>命題 ¬(P∧ ¬Q)＝¬P ∨ ¬¬Q＝¬P ∨Q
は正しくは
>命題 ¬(P∧ ¬Q)≡¬P ∨ ¬¬Q≡¬P ∨Q
である。スレ主に、今回の背理法による推論のからくりは教えた。
だが、定理1.7を背理法で示すにあたり、
「R-Bfが可算個の疎な閉集合で被覆できる」を完全に適用するには ε-δ だけでなく
最低でも位相空間は必要だな。