命題論理の自然演繹

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