一组命题逻辑的习题，对学习人工智能的研究生有帮助。