論理和とは？

▼論理和▼
数理論理学において、論理和（ろんりわ）とは、与えられた複数の命題のいずれか少なくとも一つが真であることを示す論理演算である。ORとも表す。
二つの命題 ”P”, ”Q” に対する論理和を ”P” ∨ ”Q” と書き、「”P” または ”Q”」と読む。
:日本語において、日常の言葉としての「または」は論理和ではなく排他的論理和を意味することが多い。
「私の身長は 160 cm 以上である」
「私の体重は 50 kg 以上である」
の二つの命題の論理和は、
「私の身長は 160 cm 以上か、または私の体重は 50 kg 以上である」
”P” ∨ ”Q” は否定と論理積を用いた ¬(¬”P” ∧ ¬”Q”) と同じである。従って、論理和は否定と論理積で表せる。

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

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

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