判断证明（p→q）∧（q→r）∧r=﹥p 的过程是否正确。证明：⑴ p→q p是前提p→q，q→r，r的有效结论（）

A.P→Q⇔﹁Q→﹁P

B.P∨(P∧R)⇔R

C.P∧(P→Q)⇔Q

D.P→(Q→R)⇔(P∧Q)→R

A.P→Q∧R

B.Q→P∧R

C.P→Q∨R

D.Q→P∨R

A.p真而q假r假

B.p假而q假r假

C.p假而q真r真

D.p假而r假

E.p假而q假

A.P→(Q∧PR)

B.(P∨Q)→(﹁(Q∧R))

C.P→(Q→R)

D.(P→Q)→(P→R)

A.P(x)∨Q(x)

B.P(a)∨Q(x)

C.Q(x)∨R(y)

D.Q(a)∨R(y)

A.p=q=r=0.5

B.p=q=r=1

C.p=q=1,r=0.5

D.p=r=1,q=0.5

A.p→（q→（r→s））

B.p→（（q→r）→s）

C.（p→（q→r））→s

D.（p→q）→（r→s）

A.p=q=r=0.5

B.p=q=r=1

C.p=q=1,r=0.5

D.p=r=1,q=0.5