修改了命题逻辑知识库的管理界面