論理積とは？

▼論理積▼
数理論理学において論理積（ろんりせき）とは、与えられた複数の命題のいずれもが例外なく真であることを示す論理演算である。
二つの命題 ”P”, ”Q” に対する論理積を ”P” ∧ ”Q” と書き、「”P” かつ ”Q”」や「”P” そして ”Q”」などと読む。
「私の身長は 160 cm 以上である」
「私の体重は 50 kg 以上である」
の二つの命題の論理積は、
「私の身長は 160 cm 以上であり、かつ私の体重は 50 kg 以上である」
論理積は、否定と論理和を用いて表すことができる；
: ”P” ∧ ”Q” ¬(¬”P” ∨ ¬”Q”)
逆に、否定と論理積を用いて論理和を表すこともできる。
: ”P” ∨ ”Q” ¬(¬”P” ∧ ¬”Q”)

【情報源】Wikipedia
【引用元URL】http://ja.wikipedia.org/wiki/%E8%AB%96%E7%90%86%E7%A9%8D

インターネット用語辞典　索引へ戻る

▼「論理積」以外の用語▼