归结推理法证明问题A1 = (∃x)(P(x)∧(∀y)(R(x,y)→L(x,y)))A2 =
来源:学生作业帮 编辑:灵鹊做题网作业帮 分类:数学作业 时间:2024/06/13 07:26:15
归结推理法证明问题
A1 = (∃x)(P(x)∧(∀y)(R(x,y)→L(x,y)))
A2 = (∀x)(P(x)→(∀y)(Q(y)→┐L(x,y)))
B = ┐(∃x)(∀y)(R(y,x)∧Q(x))
用归结推理法证明A1∧A2 => B
请一定要用归结推理法
A1 = (∃x)(P(x)∧(∀y)(R(x,y)→L(x,y)))
A2 = (∀x)(P(x)→(∀y)(Q(y)→┐L(x,y)))
B = ┐(∃x)(∀y)(R(y,x)∧Q(x))
用归结推理法证明A1∧A2 => B
请一定要用归结推理法
证明:
(1) ∃x(P(x)∧ ∀y(R(x,y)→L(x,y))) P
(2) P(a)∧ ∀y( R(a,y)→L(a,y) ) ES(1)
(3) ∀y( R(a,y)→L(a,y) ) T(2)I
(4) ∀x(P(x)→∀y(Q(y)→┐L(x,y)) ) P
(5) P(a)→∀y( Q(y)→┐L(a,y) ) US(4)
(6) P(a) T(2)I
(7) ∀y( Q(y)→┐L(a,y) ) T(5)(6)I
(8) R(a,b)→L(a,b) US(3)
(9) Q(b)→┐L(a,b) US(7)
(10) L(a,b)→┐Q(b) T(9)E
(11) R(a,b)→┐Q(b) T(8)(10)I
(12) ┐(R(a,b)∧Q(b) ) T(11)E
(13) ∃y┐(R(y,b)∧Q(b) ) EG(12)
(14) ∀x∃y┐(R(y,x)∧Q(x) ) UG(13)
(15) ┐∃yx∀y(R(y,x)∧Q(x) ) T(14)E
(1) ∃x(P(x)∧ ∀y(R(x,y)→L(x,y))) P
(2) P(a)∧ ∀y( R(a,y)→L(a,y) ) ES(1)
(3) ∀y( R(a,y)→L(a,y) ) T(2)I
(4) ∀x(P(x)→∀y(Q(y)→┐L(x,y)) ) P
(5) P(a)→∀y( Q(y)→┐L(a,y) ) US(4)
(6) P(a) T(2)I
(7) ∀y( Q(y)→┐L(a,y) ) T(5)(6)I
(8) R(a,b)→L(a,b) US(3)
(9) Q(b)→┐L(a,b) US(7)
(10) L(a,b)→┐Q(b) T(9)E
(11) R(a,b)→┐Q(b) T(8)(10)I
(12) ┐(R(a,b)∧Q(b) ) T(11)E
(13) ∃y┐(R(y,b)∧Q(b) ) EG(12)
(14) ∀x∃y┐(R(y,x)∧Q(x) ) UG(13)
(15) ┐∃yx∀y(R(y,x)∧Q(x) ) T(14)E
归结推理法证明问题A1 = (∃x)(P(x)∧(∀y)(R(x,y)→L(x,y)))A2 =
已知x.y属于R,用向量法证明x*x+y*y>=2xy
用matlab解不等式方程组 证明是否存在实数x,y满足条件a1,a2,a3:a1 = 2x^3-y^2+x^2*y
已知x,y属于R用向量法证明 x^2+y^2>=2xy.
两个数列x,a1,a2,a3,y与x,b1,b2,y都成等差数列,且x≠y,则(a2-a1)/(b2-b1)=
设x不等于y,且两个数数列:x,a1,a2,y和x,b1,b2,b3,y都成等差数列,则(a2-a1)/(b2-b1)=
若x≠y,两个数列x,a1,a2,y和x,b1,b2,b3,y都成等差数列,则(a2-a1)/(b4-b2)=()
若x≠y,两个数列x,a1,a2,a3,y和x,b1,b2,b3,b4,y都是等差数列,则a2一a1/b4一b3=
若x≠y,数列x,a1,a2,y和x,b1,b2,b3,y各自成等差数列,则(a1-a2)/(b1-b2)=
标准差和均值已知X~N(a1,b1),Y~(a2,b2),Z~(a3,b3),X,Y,Z相互独立 M=σx*X+σY*Y
设f:R×R→R×R,f(〈x,y〉)=< (x+y)/2,(x-y)/2>,证明f是双射的
谁能用推理规则证明.若∀x(p(x)→(Q(x)∧S(x)))和∀x(p(x)∧R(x))为真,