採点終わりました。 [雑]

これから、点数を集計し、それが終わったら、とりあえずお役御免、です。今回はあまり「傾向と対策」じみたことはやらず、あっさり集計は済ませるつもりなので、あと少し。

というわけで恒例（？）の「出来のわるかった問題」の紹介です。

「オバマに投票した誰もが、マケインに投票した誰もを蔑んでいる、というわけではない」を、Pxを「は人である」、Vxyを「xはyに投票した」、そしてDxyを「xはyを蔑んでいる」として記号化せよ。

これは、冷静になって考えればそれほどむずかしくないと思うんですが、まあ、ちょっと込み入ってるっちゃあ込み入ってるんで、やっぱり出来がわるかったですね。

ぎゃくに、「これも出来がわるいだろうなあ」と思っていたにもかかわらず、あんがい出来のよかったのが、以下。

「すべての女性に困惑させられる男がいる」を、Mxを「xは男である」、Wxを「xは女である」、そしてPxyを「xはyに困惑させられる」として記号化せよ。

あと、証明木の問題は……まあ、「言わぬが花」ってもんです。

ちなみに、前回の出来のわるかった問題は、こちらです。