物理のかぎしっぽ 査読/記号論理学の言葉(Joh著)/1

論理記号の優先順位

メッセージ

タイトルが印象的だったので読ませていただきました。日常生活の言葉は複雑なのだ、という話題から説明がはじまっているせいか、とてもすんなり読めました。所々に出てくる例えや例題もわかりやすいです :)

一つだけ、すんなり理解できなかった部分があります。論理記号は \Longleftrightarrow\Longrightarrow に優先するとのことなので、P \Longrightarrow Q \Longleftrightarrow RP \Longrightarrow (Q \Longleftrightarrow R) の意味になりそうな印象を受けました。例えば掛け算は、足し算より先に計算するという意味だから、括弧で括ると思っているので……。

返答

  • あ、そうですね。表現が不適切でした。そこのところは改訂します。 -- Joh 2007-04-16 (月) 05:25:13
  • 改訂しときました。どうも、数学で『強い記号』というのは、先にくっつくもののことではなく、より広い範囲のものをつっくけるものを意味するようです。崎間さんの言うように、順序が優先されるもの、と考えると誤解されるので、少し苦しい改訂をしました。例を見れば、みんな意味は分かると思うのですが。。。 -- Joh 2007-04-16 (月) 07:32:22
  • Johさん、改訂していただきありがとうございます :) 『強い記号』の意味するところがわかり、勉強になりました。 -- 崎間 2007-04-18 (水) 23:32:58

 
トップ   編集 凍結 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS
Modified by 物理のかぎプロジェクト PukiWiki 1.4.6 Copyright © 2001-2005 PukiWiki Developers Team. License is GPL.
Based on "PukiWiki" 1.3 by yu-ji Powered by PHP 5.3.29 HTML convert time to 0.117 sec.