翻訳と辞書 Words near each other ・ モーター故障 ・ モーター新党 ・ モーター油 ・ モーター法オクタン価 ・ モーター蛋白質 ・ モーダウタール ・ モーダカ ・ モーダストレンス ・ モーダスポネンス ・ モーダス・トレンス ・ モーダス・ポネンス ・ モーダス・ヴィヴェンディ ・ モーダル ・ モーダルウィンドウ ・ モーダルシフト ・ モーダルジャズ ・ モーダルセレクト ・ モーダル・ジャズ ・ モーダント・レッド ・ モーチット・バスターミナル Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク モーダス・ポネンス ： ミニ英和和英辞書 モーダス・ポネンス[ちょうおん] ===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ ー ： [ちょうおん] 　(n) long vowel mark (usually only used in katakana) モーダス・ポネンス （ リダイレクト：モーダスポネンス ） ： ウィキペディア日本語版 モーダスポネンス[ちょうおん] モーダスポネンス（ラテン語: 、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.