>>13
確かに，φが恒真の場合は(b)⇒(a)が導けるんですよね．
「φが恒真でない」というのは「あるA,ρが存在してA,ρ|≠φ」と同値で，
φが恒真でない場合で，
A,ρ|≠φを満たすようなA,ρについては「A,ρ|=φならばA,ρ|=Ψ」が成り立ちます．
問題は，
φが恒真でない場合に，A,ρ|=φかつA,ρ|≠Ψを満たすようなA,ρが存在するかどうか
だと思うのですが，自分は存在することも存在しないことも示せないでいるのです．


・・・上の考え方が既に間違っているようなら御指摘願います．