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

命題論理の自然演繹：背理法に、VanDalenを文献として追加。ミス修正。