翻訳と辞書 Words near each other ・ モトーリ・モデルニ ・ モトール・シーチ ・ モトーレン仙台 ・ モトーレン秋田 ・ モト冬木 ・ モト冬樹 ・ モト冬樹とナンナラーズ ・ モト珍 ・ モド ・ モドゥストレンス ・ モドゥスポネンス ・ モドゥス・トレンス ・ モドゥス・ポネンス ・ モドゥーニョ ・ モドキベタモン ・ モドグン ・ モドック郡 (カリフォルニア州) ・ モドバス ・ モドリチャ ・ モドロ Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク モドゥスポネンス （ リダイレクト：モーダスポネンス ） ： ウィキペディア日本語版 モーダスポネンス モーダスポネンス（ラテン語: 、MP）とは、論理学における妥当で単純な「論証」である。ラテン語で「肯定によって肯定する様式」の意。前件肯定 () または分離規則 () とも呼ぶ。 == 概要 == 推論の最も典型的な形式であり、一般に次のような形式である。 :P ならば Q である。 :P である。 :従って、Q である。 論理演算の記法では次のようになる。 :$((P\; \backslash to\; Q)\; \backslash land\; P)\; \backslash vdash\; Q$ ここで、$\backslash vdash$ は論理的帰結関係を表す。 モーダスポネンスを次のように表記する場合もある。 :$\backslash qquad\backslash frac$ これらはいずれも前提条件が2つ存在する。第一の条件は条件文または論理包含演算であり、Q が P を包含することを示す。第二の条件は P であり、第一の条件の条件部分が真であることを主張している。これら2つの前提から論理的に Q が真であることが導かれる。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「モーダスポネンス」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Modus ponens 」があります。 スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.