* 論理記号の優先順位 [#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