論理和の消去
論理和の消去(ろんりわのしょうきょ、英: Disjunction elimination)(論理積の除去、選言削除則、 ∨ {\displaystyle \lor } -除去則は、命題論理における妥当性のある推論規則のひとつである。この規則を用いることによって、論理式の証明から論理和を削除することができる。もし命題「 P {\displaystyle P} 」から命題「 Q {\displaystyle Q} 」が導き出され、かつ命題「 R {\displaystyle R} 」からも命題「 Q {\displaystyle Q} 」が導き出されるとき、「 P {\displaystyle P} もしくは R {\displaystyle R} 」のいずれかが真である場合に、「 Q {\displaystyle Q} 」が真となるという推論規則である。PもしくはRのうち少なくとも一方が正しく、QであるためにはPとRのうちどちらかが正しければよいから、Qは正しい、ということである。