Question

离散数学中环算几条边K4有几边 几面构造下面推理证明(1)前提：┑(p∧q),┑q∧r,┑r结论：┑p(2)前提：p->

Answer 1

1、2

2、6,4

3、

(1)题目错误

(2)附加前提

1 r 附加前提引入

2 p∨┑r

3 P 12析取三段论

4 p->(q->s)

5 q->s

6 q

7 s 56假言推理

(3)

1 t∧r

2 t 1化简

3 st

4 t→s 4化简

5 s 34假言推理

6 qs

7 s→q 6化简

8 q 57假言推理

9 q->p

10 p 89假言推理

11 r 1化简

12 p∧q∧r∧s 5 8 10 11合取引入

4、任意y存在x（F(x)∨G(z,y)）

任意y存在x（┑F(x)∧┑G(z,y)）