翻訳と辞書 Words near each other ・ 論理療法士 ・ 論理的 ・ 論理的哲学的論考 ・ 論理的帰結 ・ 論理的帰結関係 ・ 論理的推論 ・ 論理的言語分析の哲学 ・ 論理的誤謬 ・ 論理的配慮 ・ 論理積 ・ 論理積の導入 ・ 論理積の消去 ・ 論理積回路 ・ 論理積標準形 ・ 論理素子 ・ 論理経験主義 ・ 論理結合子 ・ 論理記号 ・ 論理診断 ・ 論理誤謬 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 論理積の導入 ： ミニ英和和英辞書 論理積の導入[ろんりせき] ===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 論 ： [ろん] 　【名詞】 1. (1) argument　2. discussion　3. dispute　4. controversy　5. discourse　6. debate　7. (2) theory　8. doctrine　9. (3) essay　10. treatise　1 1. comment ・ 論理 ： [ろんり] 　【名詞】 1. logic　 ・ 論理積 ： [ろんりせき] 　【名詞】 1. logical product　2. AND operation ・ 理 ： [り] 　【名詞】 1. reason　 ・ 積 ： [せき] 　【名詞】 1. (gen) (math) product　 ・ 導入 ： [どうにゅう] 　 1. (n,vs) introduction　2. bringing in　3. leading in　 ・ 入 ： [にゅう] 　【名詞】 1. go in　 論理積の導入 ： ウィキペディア日本語版 論理積の導入[ろんりせき] 論理積の導入 (ろんりせきのどうにゅう、)(連言導入則、$\backslash and$-導入則とも）〔Copi and Cohen〕〔Moore and Parker〕は、命題論理における妥当性のある推論規則のひとつである。この規則を用いることによって、論理式の証明の中に新たに論理積(「$\backslash and$」)を加えることができる。もし「P」という命題が真であり、かつ「Q」という命題が真であれば、「PかつQ」という命題もまた真である、という推論規則である。例えば、「雨が降っている」という命題が真であり、「私は部屋の中にいる」という命題が真であれば、「雨が降っており、私は部屋の中にいる」という命題は真である。この規則は、下記のように記述することができる。 :$\backslash frac$ ここで、命題「$P$」と命題「$Q$」がそれぞれ証明のなかのどの行に出てきても、その後の行に「$P\; \backslash and\; Q$」を示すことができるものとされている。 == 形式的な記法 == ''論理積の導入''の推論規則は、シークエントの記法では、次のように表すことができる。 : $P,\; Q\; \backslash vdash\; P\; \backslash and\; Q$ ここでは、「$\backslash vdash$」は、「$P$」および「$Q$」がある論理の形式体系における命題であり、その体系における証明の途中に$P$、$Q$それぞれが現れるときに、その証明で「$P\; \backslash and\; Q$」が論理的帰結として示されることを表す、メタ言語の記号である。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「論理積の導入」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.