- 追加された行はこの色です。
- 削除された行はこの色です。
* 練習問題 2 は誤植? [#b401753d]
|~ページ|[[査読/命題と真偽表(Joh著)]]|
|~投稿者|[[K.I.]]|
|~状態|#listbox3(感想,査読2,state)|
|~投稿日|2007-05-07 (月) 18:58:22|
** メッセージ [#h1cc08b3]
執筆お疲れさまです。 K.I. です。
練習問題 2 ですが,P ∧ Q ⇒ (Q ∧ ¬ ⇒ R ∧ Q) と「 ¬ 」が単独で使われております。
誤植と思われますので,訂正をお願い致します。
後は些細な意見です。
「仮定 P が偽の時,結論 Q が真でも偽でも P ⇒ Q が真になる」ということを
「定理」にしてありますが,その意図は何でしょうか。
Joh さんが構成しようとしている論理学において
(記号論理学にも色々な構成の仕方がありますから),
定理と扱うという理解で宜しいでしょうか。
ここの所は完全に執筆者の趣味の世界ですから,
定理であっては行けないという訳ではありません。
練習問題 1 は各項目毎に改行された方が読みやすいです。
** 返答 [#t9f3d93b]
#comment
#br
#topicpath