单选题 设F(x):x是质数，则命题“3是质数除非8是质数”可符号化为：

单选题 判断命题“2+2=5”是：

单选题 命题“如果下雨，则地面湿”符号化为：

单选题 已知公式A含3个命题变项p,q,r，并且它的成真赋值为000，011，110，则A的主合取范式为：

单选题 在自然推理系统中，由前提“(p→q),¬q”能推出的结论是：

单选题 下列命题公式中，与P→Q等价的是：

单选题 判断下列语句哪个是命题：

单选题 下列命题公式中，为重言式的是：

单选题 下列命题公式为矛盾式的：