离散数学 考试题(后附详细答案)一、 命题符号化（共6小题，每小题3分，共计18分）1. 用命题逻辑把下列命题符号化a) 假如上午不下雨，我去看电影，否则就在家里读书或看报。设P表示命题“上午下雨”，Q表示命题“我去看电影”，R表示命题“在家里读书”，S表示命题“在家看报”，命题符号化为：（PQ）(PRS)b) 我今天进城，除非下雨。设P表示命题“我今天进城”，Q表示命题“天下雨”，命题符号化为：QP或PQc) 仅当你走，我将留下。设P表示命题“你走”，Q表示命题“我留下”，命题符号化为： QP2. 用谓词逻辑把下列命题符号化a) 有些实数不是有理数设R(x)表示“x是实数”，Q(x)表示“x是有理数”，命题符号化为：$x(R(x) Q(x) 或 x(R(x) Q(x)b) 对于所有非零实数x，总存在y使得xy=1。设R(x)表示“x是实数”，E(x,y)表示“x=y”,f(x,y)=xy, 命题符号化为： x(R(x) E(x,0) $y(R(y) E(f(x,y)
