问答题
将命题“√7不是无理数是不对的”符号化。
。
填空题 设A为任意的公式,B为重言式,则A∨B的类型为()。
问答题 设解释I为:个体域D={a,b,c},F(a)=F(b)=1,F(c)=0,G(a)=1,G(b)=G(c)=0,求下面公式在I下的真值:
填空题 公式共同的成真赋值为()。