命題論理の自然演繹：二重否定除去律

命題論理の自然演繹：二重否定除去律を新規作成、アップロード。