命題論理の自然演繹における諸定理

命題論理の自然演繹における諸定理を新規作成、アップロード。