A. 你打算考硕士研究生吗? B. 太阳系以外的星球上有生物。 C. 离散数学是计算机专业的一门基础必修课。 D. 雪是黑色的。
A. 重言式 B. 矛盾式 C. 可满足式 D. 范式
A. 对 B. 错