命題論理の自然演繹：矛盾

命題論理の自然演繹：矛盾に関する規則を新規作成、アップロード。