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

离散数学习题三 11、填充下面推理证明中没有写出的推理规则。 前提：pq,qr,rs,p 结论：s 证明：① p 前提引入 ②pq 前提引入 ③ q （①②析取三段论） ④qr 前提引入 ⑤ r （③④析取三段论） ⑥rs 前提引入 ⑦ s