如果结果不匹配，请 
更多“设公式A含命题变项p，q，r，又已知A的主合取范式为M0∧M…”相关的问题
q)→r)的类型为()。第2题
与命题公式P→（Q→R)等值的公式是下列4个中的哪一个？ （1)（P∨Q)→R （2)（P∧Q)→R （3)（P→Q)→R （4)P→（Q∨R)
与命题公式P→(Q→R)等值的公式是下列4个中的哪一个？
(1)(P∨Q)→R (2)(P∧Q)→R
(3)(P→Q)→R (4)P→(Q∨R)
的真值为()。第7题
谓词公式(∀x)(P(x，y))→(∃z)Q(x，z)∧(∀y)R(x，y)中变元x（）。
A.是约束变元但不是自由变元
B.是自由变元但不是约束变元
C.既是自由变元又是约束变元
D.既不是自由变元又不是约束变元
第8题
命题公式（P∧Q)→P是下列4个中的哪一个？ （1)永真式 （2)永假式 （3)可满足式 （4)合取范式
命题公式(P∧Q)→P是下列4个中的哪一个？
(1)永真式 (2)永假式
(3)可满足式 (4)合取范式
第9题
命题P：（x+3）2+（y-4）2=0，命题q：（x+3）（y-4）=0，x，y∈R，则p是q成立的（）A.充分而非必要条件
命题P：（x+3）2+（y-4）2=0，命题q：（x+3）（y-4）=0，x，y∈R，则p是q成立的（）
A.充分而非必要条件
B.必要而非充分条件
C.充要条件
D.既非充分也非必要条件
