单选题
A．可满足的 B．不可满足的 C．有效的 D．非有效的
【正确答案】
B
【答案解析】[解析]
1)
已知
2)P(a)→Q(a) 1)
3)
已知
4)P(a) 3)
5)Q(a) 1)、3)
6)
已知
7)
1)
已知2)P(a)→Q(a) 1)
3)
已知4)P(a) 3)
5)Q(a) 1)、3)
6)
已知7)