![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?c9bd177)
論理学の本を最近読み始めたのですが、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ランキング
おすすめ情報