D 5. 参考答案: a) 不是命题,因为无法判断真假; b) 不是命题,因为不是陈述句; c) 是命题,其真值为真。 6. 参考答案:应用归结法: (1) α∨β ( (2) ?β∨γ (3) α∨γ (由1 (4) ?(α∨γ) (c (5) 3和4矛盾,因此原命题集是不可满足的。 7. 参考答案: a) ?(?x)(Basketball_...