离散数学中环算几条边K4有几边 几面构造下面推理证明(1)前提：┑(p∧q),┑q∧r,┑r结论：┑p(2)前提：p->(q->s),q,p∨┑r结论：r->s(3)前提：q->p,qs,st,t∧r结论：p∧q∧r∧s求下列前束范式(1)┑存在F（x）->任意yG(x,y)(2)┑(任意xF(x,y)∨存在yG(x,y))
2019-05-30
离散数学中环算几条边
K4有几边 几面
构造下面推理证明
(1)前提：┑(p∧q),┑q∧r,┑r
结论：┑p
(2)前提：p->(q->s),q,p∨┑r
结论：r->s
(3)前提：q->p,qs,st,t∧r
结论：p∧q∧r∧s
求下列前束范式
(1)┑存在F（x）->任意yG(x,y)
(2)┑(任意xF(x,y)∨存在yG(x,y))
优质解答
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)）
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)）