谓词逻辑练习及答案