論理和
ウィキペディア フリーな encyclopedia
数理論理学において論理和(ろんりわ、英: logical disjunction)とは、与えられた複数の命題のいずれか少なくとも一つが真であることを示す命題を作る論理演算である。離接(りせつ)、選言(せんげん)とも呼ぶ。
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/5/5e/Venn-Diagram-OR.png)
二つの命題 P, Q に対する論理和は記号 ∨ を用いて P ∨ Q と表せる。この記号はラテン語で(非排他的)論理和を意味する vel の頭文字に由来する[1]。また P ∨ Q の形をした命題を選言命題(disjunctive proposition)、その中に現れる命題 P や Q を選言肢(disjunct)という[2]。