- 追加された行はこの色です。
- 削除された行はこの色です。
* 論理記号の優先順位 [#e525121a]
|~ページ|[[査読/記号論理学の言葉(Joh著)]]|
|~投稿者|[[崎間]]|
|~状態|#listbox3(質問,査読2,state)|
|~投稿日|2007-04-16 (月) 00:21:50|
** メッセージ [#eb9daec4]
タイトルが印象的だったので読ませていただきました。日常生活の言葉は複雑なのだ、という話題から説明がはじまっているせいか、とてもすんなり読めました。所々に出てくる例えや例題もわかりやすいです :)
一つだけ、すんなり理解できなかった部分があります。論理記号は &tex{\Longleftrightarrow}; が &tex{\Longrightarrow}; に優先するとのことなので、&tex{P \Longrightarrow Q \Longleftrightarrow R}; は
&tex{P \Longrightarrow (Q \Longleftrightarrow R)}; の意味になりそうな印象を受けました。例えば掛け算は、足し算より先に計算するという意味だから、括弧で括ると思っているので……。
** 返答 [#h6e467b9]
- あ、そうですね。表現が不適切でした。そこのところは改訂します。 -- [[Joh]] &new{2007-04-16 (月) 05:25:13};
- 改訂しときました。どうも、数学で『強い記号』というのは、先にくっつくもののことではなく、より広い範囲のものをつっくけるものを意味するようです。崎間さんの言うように、順序が優先されるもの、と考えると誤解されるので、少し苦しい改訂をしました。例を見れば、みんな意味は分かると思うのですが。。。 -- [[Joh]] &new{2007-04-16 (月) 07:32:22};
#comment
#br
#topicpath