-除去則[1][2]は、命題論理における妥当性のある推論規則のひとつである。この規則を用いることによって、論理式の証明から論理和を削除することができる。」が真となるという推論規則である。PもしくはRのうち少なくとも一方が正しく、QであるためにはPとRのうちどちらかが正しければよいから、Qは正しい、ということである。下記の例が挙げられる。私が屋内にいれば、私は財布を持っている。私が屋外にいれば、私は財布を持っている。私は屋内にいるか、屋外にいるかのどちらかである。したがって、私は財布を持っている。この規則は、下記のように記述することができる。」を示すことができるものとされている。Q}と表すことができる。R}」の論理的帰結であることを表す、メタ言語の記号である。3.0のもとで利用可能です。プライバシーデスクトップ。