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

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

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