>きちんと、条件設定”補集合R−BfがR中稠密”を付加した上で、そういう関数ｆが存在しないというなら、
>それを筋道立てて、証明すべきであると。それをやらないと説得力なしです。
P->Q
が真である場合
A->¬Q
が真であっても（なくても）
P∧A->Q
も真ですよ
また
A->¬Q
が真である場合
P∧A->Q∧¬Q
も真となりますので
P∧Aは偽
ということです
ここで
P:R-Bfが可算個の疎な閉集合で覆える
Q:fがリプシッツ連続となる開区間が存在する
A:R-BfがRで稠密
を想定してください
