命題論理の自然演繹：∨除去則

命題論理の自然演繹：∨除去則。
仮定を直ちに落とすケースを追記。使用例として、分配律1-1の証明、選言的三段論法にリンク。