- 追加された行はこの色です。
- 削除された行はこの色です。
* 論理記号の優先順位 [#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