disjunction

数理論理学において、論理和（ろんりわ）とは、与えられた複数の命題のいずれか少なくとも一つが真であることを示す論理演算である。ORとも表す。二つの命題 P, Q に対する論理和を P ∨ Q と書き、「P または Q」と読む。 注意：日本語において、日常の言葉としての「または」は論理和ではなく排他的論理和を意味することが多い。
Wikipedia.orgをもっと見ると…