命題論理の自然演繹：矛盾に関する規則

命題論理の自然演繹：矛盾に関する規則から、その使用例として、

• 対偶律の証明　
• 選言的三段論法 

にリンク。
アップロード。