忍者ブログ

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

というわけで恒例(?)の「出来のわるかった問題」の紹介です。

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

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

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

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

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


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

PR
この記事にコメントする
お名前
メールアドレス
URL
コメント
戸山田さんの「論理学をつくる」で本格的(?)に論理学を自習してみようと思うのですが、前回と前々回であげられてる問題って、ちょっとかじったならちゃんと解けなきゃまずい、って感じなんでしょうか?ちょっと一つ目標にしてやってみようかな
長谷部 2008/12/21(Sun)01:11:45 編集
これらの問題は、ほんと「初歩の初歩」なんで、解けなきゃまずいね。
はやし 2008/12/21(Sun)01:36:17 編集
全然自信がないですが、こんなんはどうでしょうか?

¬∀x{(Px∧Vxオバマ)→(¬∀yDxy∧Py∧Vyマケイン)}

()のつけ方とか、「オバマ」「マケイン」の固有名の扱い方などすごい忘れてて、やばいです汗
採点おつかれさまです。
虫(mushitoriseinen) URL 2008/12/21(Sun)03:04:09 編集
まず、条件演算子→のあとのカッコ内、∀yのスコープがDxyだけなのが問題なのと、あと、かりに∀yのスコープが意図したところまで適用されるようにカッコを塩梅したにしても、結果として出てくる文は「この世のすべての存在者は、オバマに投票した人すべてに蔑まれるマケインに投票した人である」というものになってしまい、本来表現したかった文意とことなってしまうので、この点も問題です。

ヒント、というか、戦略としては、直球で∀を使うよりも、問題文をいったん∃のみを用いた文に書き換えてから記号化すると、すんなりとできるかも、です。

解答は、まだ考えている人がいるやもしれませんので、もうちょっとしてから発表します。
はやし 2008/12/21(Sun)16:55:25 編集
この記事へのトラックバック
この記事にトラックバックする:
カレンダー
06 2017/07 08
S M T W T F S
2 3 4 5 6 7 8
9 10 11 12 13 15
16 17 18 19 20 21 22
23 24 25 26 27 28 29
30 31
最新コメント
[07/23 ブランド激安市場タグ・ホイヤー]
[07/19 ウブロ 時計]
[07/18 ロレックスブランドコピー]
[07/18 ウブロ激安ブランド館]
[07/17 pixel gun 3d cheats download]
[07/16 高級ブランド時計コピー]
[07/15 ロレックスブランドコピー]
[07/15 Ann Weaver]
[07/01 はやし]
[07/01 はやし]
最新トラックバック
メール
ブログ作成者(はやし)に直接訴えたいことがある、という場合は、下のアドレスにメールをどうぞ。

thayashi#ucalgary.ca
(#を@に置換してください)

ブログ内検索
Google
WWW を検索 このブログ内を検索

はやしのブログ内で紹介された
 書籍の検索はこちら
 音盤の検索はこちら
ランダムおすすめ
(忍者ブログに引越してから、うまくうごかなくなってしまいました。いつか、直します)
Randombook
このブログで紹介したことのある本をランダム表示。
Randomusic
このブログで紹介したことのある音をランダム表示。
自分がらみのリンク
はやしのブログ書籍一覧
このブログで言及された書籍の一覧。
はやしのブログ音盤一覧
このブログで言及された音盤の一覧。
最近のおすすめ本
最近のおすすめ音

Copyright © [ はやしのブログ ]
No right reserved except those which belong to someone else.
Special Template : 忍者ブログ de テンプレート and ブログアクセスアップ
Special Thanks : 忍者ブログ
Commercial message : [PR]