计算题 设f：N→N×N，其中N为自然数集，f（x）=2>，求f（{1，2，3}），讨论f是否为单射和满射的，如果不是请说明理由。

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

问答题将命题“√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下的真值：