设p，q为真命题，r，s为假命题，则复合命题（pr)（ㄱq→s)的真值为（)。

设p，r为真命题，q，s为假命题，则复合命题的真值为()。

A.非p

B.如果q则p

C.如果p则q

D.p且q

设B为含命题变项p，q，r的矛盾式，则公式B∧((pq)→r)的类型为()。

A.p真且q真

B.p真且q假

C.p假且q真

D.p假且q假

A.p→q

B.p∧q

C.p∨q

D.p→q

E.p∧q

A.逆命题

B.否命题

C.逆否命题

D.假命题

B.在两个析取复合命题中，如果命题q及其反命题分别出现在这两个析取复合命题中，则通过归结法可得到一个新的析取复合命题，只是在析取复合命题中要去除命题q及其反命题

C.如果命题q出现在一个析取复合命题中，命题q的反命题单独存在，则通过归结法可得到一个新的析取复合命题，只是在析取复合命题中要去除命题q及其反命题

D.对命题q及其反命题应用归结法，所得到的命题为假命题

命题P：（x+3）2+（y-4）2=0，命题q：（x+3）（y-4）=0，x，y∈R，则p是q成立的（）

A.充分而非必要条件

B.必要而非充分条件

C.充要条件

D.既非充分也非必要条件

A.P→(Q∧PR)

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

C.P→(Q→R)

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