用Python实现命题逻辑归结推理系统--人工智能