論理学の本を最近読み始めたのですが、Modus Ponensがよく分かりません。。
Modus Ponensの説明についてその本には
”From P and P→Q therefore infer Q"
直訳すると
PとP→QからQが推測される。
ということですが、意味が分かりません。。
Pはただの論理式で真か偽かは書いてません。
さらにP→Qも論理式でありますが、それも真偽は書いてません。
つまり、一体Qが推測されるというのはどういう意味なのでしょうか?
普通に考えれば、もしP→QとPが真ならば、Qが真であると言う事を示している、ということなのでしょうが、
勝手にPとP→Qが真であると決め付けていいのでしょうか?
例えばP→Qが偽ならば、仮にPが真であったとしたらQが偽になるはずです。
どなたか本当の”Modus Ponens”がどういうことを言っているのか解る方よろしくお願いします。
No.2ベストアンサー
- 回答日時:
その本に書いてあることも Wikipedia などの記述も同じことです.
「P と P→Q から Q が推論できる」という文は「P→QとPが真ならば、Qが真である」という意味で解釈してください.
どちらかというと「infer」の意味の問題かなぁ.
回答ありがとうございます。
やはり二つの真の論理式があるという前提から、Qが真であるという推論が出来るということを意味しているのですね。
ありがとうございます!
No.1
- 回答日時:
回答ありがとうございます。
Wikipediaや他のページの記事は拝読しました。
ですが、私が読んでいる本の定義と違うので、(本には上記のFrom P→Q,P infer Q、と P→Q,Pの真偽は語られておらず、しかしWikipediaでは (P→Q∧P)トQ とP→Q,Pが前提となっています。)
なので、本当のモーダスポネンスの定義はなんなのか知りたかったのですが、
つまり、Wikipediaの定義が正しいということでしょうか?
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 真偽表(真理値表)について 今日、大学の授業で真偽表(真理値表)について学習しました。(画像)(見づ 5 2022/04/13 01:18
- 数学 必要十分条件と同値について 1 2022/06/25 00:56
- 日本語 意味とは何か? どこにあるのか?(Ⅱ) 4 2022/04/21 13:35
- 数学 必要条件 十分条件が分かりません 10 2022/04/21 08:29
- その他(教育・科学・学問) 直観主義論理は何の役に立つのでしょうか? 実生活において、「明日、雨が降る」という命題があるとしたら 1 2022/08/22 02:28
- 英語 仮主語の「to be+名詞」の和訳について 4 2022/05/07 14:49
- 哲学 妥当な推論の根拠について 1 2022/08/04 22:54
- 日本語 言語学を自然科学と混同する誤りについて 1 2022/04/23 15:23
- 哲学 日本語は 言語類型として あたかも始原のごとくである 3 2022/05/29 04:41
- 数学 この問題が分からないです 命題 p, q に対して,p | q の真偽表を p q p | q 真 6 2023/02/02 21:41
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
おすすめ情報