メニュー現在 11 名がオンラインです。 最新の25件2023-12-12
2023-11-11
2023-11-06
2023-07-15
2022-09-14
2022-07-01
2022-06-12
2022-04-13
2021-12-03
2021-10-07
2021-08-12
2021-07-26
2021-06-30
2021-06-06
2021-05-02
2021-04-17
2021-03-20
2021-03-19
2021-03-11
|
練習問題 2 は誤植? †
メッセージ †執筆お疲れさまです。 K.I. です。 練習問題 2 ですが,P ∧ Q ⇒ (Q ∧ ¬ ⇒ R ∧ Q) と「 ¬ 」が単独で使われております。 誤植と思われますので,訂正をお願い致します。 後は些細な意見です。 「仮定 P が偽の時,結論 Q が真でも偽でも P ⇒ Q が真になる」ということを 「定理」にしてありますが,その意図は何でしょうか。 Joh さんが構成しようとしている論理学において (記号論理学にも色々な構成の仕方がありますから), 定理と扱うという理解で宜しいでしょうか。 ここの所は完全に執筆者の趣味の世界ですから, 定理であっては行けないという訳ではありません。 練習問題 1 は各項目毎に改行された方が読みやすいです。 返答 †
|