Click 03命题逻辑.pdf link to view the file.