命題論理の自然演繹：背理法

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