单项选择题
A.G是前束范式B.G不是前束范式C.G不是一阶公式D.G是永真式
A.A=BB.A≠BC.当A-C=B-C 时,有A=BD.当C=U 时,有A≠B
A.4B.5C.6D.7
A.对任意y,使P(y)都取真值1B.存在一个y0,使P(y0)取真值1C.存在某些y,使P(y)都取真值1D.存在y0,使P(y0)取真值0
微信扫一扫,加关注免费搜题