排中律

命題論理の自然演繹：排中律を新規作成、アップロード。