翻訳と辞書 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.