物理のかぎしっぽ 査読/命題と真偽表(Joh著)/2

練習問題 2 は誤植?

メッセージ

 執筆お疲れさまです。 K.I. です。

 練習問題 2 ですが,P ∧ Q ⇒ (Q ∧ ¬ ⇒ R ∧ Q) と「 ¬ 」が単独で使われております。 誤植と思われますので,訂正をお願い致します。

 後は些細な意見です。

 「仮定 P が偽の時,結論 Q が真でも偽でも P ⇒ Q が真になる」ということを 「定理」にしてありますが,その意図は何でしょうか。 Joh さんが構成しようとしている論理学において (記号論理学にも色々な構成の仕方がありますから), 定理と扱うという理解で宜しいでしょうか。 ここの所は完全に執筆者の趣味の世界ですから, 定理であっては行けないという訳ではありません。

 練習問題 1 は各項目毎に改行された方が読みやすいです。

返答

  • 別に、論理学を構築しようなどという大それた意図はありませんが、この関係では、ひっかかる初学者が多いと思いましたので、ひっかかる人はとりあえず悩まないで、定理として了解して先に進んで欲しいと思ってそのように書きました。 -- Joh 2007-05-07 (月) 23:21:02

 
トップ   編集 凍結 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS
Modified by 物理のかぎプロジェクト PukiWiki 1.4.6 Copyright © 2001-2005 PukiWiki Developers Team. License is GPL.
Based on "PukiWiki" 1.3 by yu-ji Powered by PHP 5.3.29 HTML convert time to 0.010 sec.