自分は数学科ではないのですが、「悪魔の証明」って、対偶を利用すれば可能ではないのですか？
論理記号で表現できないのですが。素朴な疑問。