离散数学习题三 含答案.docxVIP

离散数学习题三11、填充下面推理证明中没有写出的推理规则。前提： ?p ? q, ?q ? r, r ? s, p 结论：s 证明：① p 前提引入 ② ?p ? q 前提引入 ③ q （①②析取三段论） ④ ?q ? r 前提引入 ⑤ r （③④析取三段论） ⑥ r ? s 前提引入 ⑦ s （⑤⑥假言推理） 12、填充下面推理证明中没有写出的推理规则。前提： p ? (q ? r), q ? (r ? s) 结论： (p ? q) ? s 证明：① (p ? q) （附加前提） ② p （①化简规则） ③ q （①化简规则） ④ p ? (q ? r) 前提引入 ⑤ q ? r （②④假言