About: 論理和

数理論理学において論理和（ろんりわ、英: logical disjunction）とは、与えられた複数の命題のいずれか少なくとも一つが真であることを示す命題を作る論理演算である。離接（りせつ）、選言（せんげん）とも呼ぶ。 二つの命題 P, Q に対する論理和は記号 ∨ を用いて P ∨ Q と表せる。