- 追加された行はこの色です。
- 削除された行はこの色です。
* 練習問題 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]
- 別に、論理学を構築しようなどという大それた意図はありませんが、この関係では、ひっかかる初学者が多いと思いましたので、ひっかかる人はとりあえず悩まないで、定理として了解して先に進んで欲しいと思ってそのように書きました。 -- [[Joh]] &new{2007-05-07 (月) 23:21:02};
#comment
#br
#topicpath