論理和 - Wikipedia

P ∨ Q のベン図による表現 数理論理学において論理和（ろんりわ、英: logical disjunction）とは、与えられた複数の命題のいずれか少なくとも一つが真であることを示す命題を作る論理演算である。離接（りせつ）、選言（せんげん）とも呼ぶ。 二つの命題 P, Q に対する論理和は記号 ∨ を用いて P ∨ Q と表せる。この記号はラテン語で（非排他的）論理和を意味する vel の頭文字に由来する[1]。また P ∨ Q の形をした命題を選言命題（disjunctive proposition）、その中に現れる命題 P や Q を選言肢（disjunct）という[2]。 「私の身長は 160 cm 以上である」 「私の体重は 50 kg 以上である」 の二つの命題の論理和は、 「私の身長は 160 cm 以上か、または、私の体重は 50 kg 以上である」 となる。この論理和が真

[keioni]

命題と集合は異なる概念、ある複数の命題（の真偽）から作る新しい命題の真偽を定めたのが「論理和と論理積」であり「積集合、和集合」と記号や操作が（両方ド・モルガンで）似ていても。受験数学の理論4巻220頁。