Click 05谓词逻辑.pdf link to view the file.