>>794
当たり前やないか？
質問が数理論理学の最初の方の練習問題なん見たらわかるやろ？
お前そもそも数理論理学とか記号論理学の教科書なんぞ読んだことないやろ？
なんでそれで明らかに数理論理学勉強中の人間の役に立てると思うの？