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

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 論理積の消去 ： ウィキペディア日本語版 論理積の消去 論理積の消去(ろんりせきのしょうきょ、)(論理積の除去、選言除去則、$\backslash and$-除去則〔 Sect.3.1.2.1, p.46〕〔Copi and Cohen〕〔Moore and Parker〕〔Hurley〕は、命題論理における妥当性のある推論規則のひとつである。もし、「PかつQ」とい命題が真であれば、「P」という命題が真であり、同時に「Q」という命題も真であることを指す。この規則を用いることによって、論理積(「かつ」、「$\backslash and$」)で結び付けられた命題の片方を抽出することができる。例えば、「雨が降っており、土砂降りである」という命題が真であれば、「雨が降っている」という命題は真である。この規則は、下記のように、 :$\backslash frac$ および、 :$\backslash frac$ の２つの記述をすることができる。ここで、命題「$P\; \backslash land\; Q$」が証明のなかのどの行に出てきても、その後の行において、命題「$P$」もしくは命題「$Q$」を示すことができるものとされている。 == 形式的な記法 == 論理積の消去の推論規則は、シークエント記法では、 : $(P\; \backslash land\; Q)\; \backslash vdash\; P$ および、 : $(P\; \backslash land\; Q)\; \backslash vdash\; Q$ と表すことができる。ここで、「$\backslash vdash$」は、ある論理の形式体系において、命題「$P$」が「$P\; \backslash and\; Q$」の論理的帰結であり、命題「$Q$」もまた「$P\; \backslash and\; Q$」の論理的帰結であることを表す、メタ言語の記号である。 この推論規則はまた、命題論理における真理関数のトートロジーもしくは定理として、 :$(P\; \backslash land\; Q)\; \backslash to\; P$ および、 :$(P\; \backslash land\; Q)\; \backslash to\; Q$ と表される。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「論理積の消去」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.