命題論理の自然演繹：⇒導入則・⇒除去則

命題論理の自然演繹：⇒導入則・⇒除去則を新規作成、アップロード。