命題論理の自然演繹で認められた操作

命題論理の自然演繹についてのノートに、
自然演繹で認められた操作を追加。アップロード。