排中律の使用例

命題論理の自然演繹：排中律。
使用例として対偶律の証明にリンク。