質問: 論理学の質問です(;_;)
回答: 論理式に直しやすい形に変形することがコツです♪ [1] 「月には人間はひとりも住んでいない」は 「すべての人間は月に住んでいない」であり 「すべてのxに対してHxならばDxmではない」となるので ∀x(Hx→¬Dxm) [2] 「すべての国民は勤労の権利を有し、義務を負う。」は 「すべての国民は権利を有し、かつ勤労の義務を負う」であり 「すべてのxに対してJxならばPxrかつPxdである」となるので ∀x(Jx→(Pxr∧Pxd)) [3] まず 2 つに分けることにします☆ 「xは誰からも憎まれる」は ∀yHyx, 「xは誰をも憎む」は ∀yHxy となるので 両方ともにに満たすのは ∀y(Hxy∧Hyx) です☆ ※ 厳密には上の y と下の y は別ものですが ※ いまの場合はどちらもすべてなので問題ありません このような x が存在しないので ¬∃x∀y(Hxy∧Hyx) となりますね(*◕ ◡◕)✿♫♬ ※ 同値変形して ∀x∃y(¬Hxy∨¬Hyx) ※ としてもいいでしょう