简答题 将命题“√7不是无理数是不对的”符号化。

设A为任意的公式，B为重言式，则A∨B的类型为（）。

填空题设A为任意的公式，B为重言式，则A∨B的类型为（）。

设解释I为：个体域D={a，b，c}，F（a）=F（b）=1，F（c）=0，G（a）=1，G（b）=G（c）=...

问答题

设解释I为：个体域D={a，b，c}，F（a）=F（b）=1，F（c）=0，G（a）=1，G（b）=G（c）=0,求下面公式在I下的真值：

公式共同的成真赋值为（）。

填空题

公式共同的成真赋值为（）。