翻訳と辞書 Words near each other ・ 論理パズル ・ 論理プログラミング ・ 論理ボリューム ・ 論理ボリュームマネージ ・ 論理ボリュームマネージメント ・ 論理ボリュームマネージャ ・ 論理リンク制御 ・ 論理主義 (数学) ・ 論理値 ・ 論理包含 ・ 論理包含演算 ・ 論理史 ・ 論理合成 ・ 論理否定 ・ 論理和 ・ 論理和の導入 ・ 論理和の消去 ・ 論理哲学 ・ 論理哲学論考 ・ 論理回路 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 論理包含演算 ： ウィキペディア日本語版 論理包含[ろんりほうがん] 論理包含（ろんりほうがん、含意（がんい）、内含、、IMP）は、第1命題が偽または第2命題が真のときに真となる論理演算である。条件文（じょうけんぶん、）とほぼ同じものである。論理的帰結（）や伴意（）とは異なる物であり、論理的帰結の項目を参照。 2つの命題 ''P'' と ''Q'' に対する論理包含を ''P'' → ''Q'' などと書き、「''P'' ならば ''Q''」と読む。命題 ''P'' → ''Q'' に対し、''P'' をその前件、''Q'' をその後件などと呼ぶ。 == 記号 == ペアノは1889年に出版した『数の概念について』において、“ならば”をCを逆向きにした記号で表現した〔pp.84-87〕。ラッセルはペアノにならい、1910年から1913年に出版した『プリンキピア・マテマティカ』において、命題“A ならば B”を A ⊃ B と表現した〔34頁〕。ゲンツェンはラッセルに従い、命題“A ならば B”を A ⊃ B と表現した。ハイティングは命題“A ならば B”を最初は A ⊃ B と表現したが、後になって右向き矢印で A → B と表現するようになった〔173-174頁〕。 したがって、記号 ⊃ は集合論における部分集合の記号と同じだが直接的な関係はない。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「論理包含」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Material conditional 」があります。 スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.