关于一阶谓词逻辑和命题逻辑的题目