命題論理の自然演繹：否定導入則・否定除去則

命題論理の自然演繹：￢導入則・￢除去則から、
使用例として、矛盾律の証明、二重否定律の証明、選言的三段論法　へ、
リンク。