离散数学求解答!!!

Question

离散数学求解答!!! 谢谢🙏🏻
要详细过程…

Answer 1

详细证明过程如下：

(1) q                   附加前提规则

(2) q->(u∧t）     前提

(3) u∧t    ​    ​    ​    ​(1)(2)

(4) u    ​    ​    ​    ​    ​(3)

(5) t                     (3)

​(6) u->p    ​    ​    ​    ​前提

(7) p    ​    ​    ​    ​    ​(4)(6)

(8) p∧t    ​    ​    ​    ​(5)(7)

(9) (p∧t)->(r∨s)    前提

(10) r∨s    ​    ​    ​    ​(8)(9)

(11) ┐s    ​    ​    ​    ​前提

(12) r    ​    ​    ​    ​    ​(10)(11)

(13) q->r    ​    ​    ​    ​(1)(12)