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

命題論理の自然演繹：￢導入則・￢除去則を新規作成、アップロード。