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