翻訳と辞書 Words near each other ・ クレイ ・ クレイ (曖昧さ回避) ・ クレイアニメ ・ クレイアニメ 太鼓の達人 ・ クレイアニメーション ・ クレイオ ・ クレイオス ・ クレイオー ・ クレイク・オブライエン・コーンスウィート錯視 ・ クレイグ ・ クレイグの補間定理 ・ クレイグスリスト ・ クレイグズリスト ・ クレイグヘッド郡 (アーカンソー州) ・ クレイグ・T・ネルソン ・ クレイグ・アルパート ・ クレイグ・アンダーソン ・ クレイグ・アンダーソン (左投手) ・ クレイグ・アーノルド ・ クレイグ・アームストロング Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク クレイグの補間定理 ： ウィキペディア日本語版 クレイグの補間定理[くれいぐのほかんていり] クレイグの補間定理（英: Craig's interpolation theorem）は論理学における定理であり、論理体系によってその定義が異なる。William Craig が1957年、一階述語論理について証明したのが最初である。クレイグの補題とも。 == 命題論理の場合 == 命題論理版は以下のように定義される。 :$X\; \backslash rightarrow\; Y$ が恒真式であるとき、論理式 $Z$ の全ての命題変数が $X$ と $Y$ の両方に出現する場合で、かつ :$X\; \backslash rightarrow\; Z$ と :$Z\; \backslash rightarrow\; Y$ も恒真式なら、$Z$ を :$X\; \backslash rightarrow\; Y$ の「補間（interpolant）」と呼ぶ。 単純な例として、次の式に対して $P$ は補間である。 :$P\; \backslash and\; R\; \backslash rightarrow\; P\; \backslash or\; Q$ 命題論理でのクレイグの補間定理は、含意 :$X\; \backslash rightarrow\; Y$ が恒真式なら、常に補間が存在する、というものである。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「クレイグの補間定理」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.