问答题
设f：N→N×N，其中N为自然数集，f（x）=2>，求f（{1，2，3}），讨论f是否为单射和满射的，如果不是请说明理由。
问答题 将命题“√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下的真值：
