简答题 请给出谓词逻辑的研究对象，并将“任何整数的平方均非负”使用谓词符号化。

问答题请给出集合A到集合B的映射f的定义。设R是实数集合，f：（0，1）→R，，证明f是双射。

单项选择题设A={a，b，c}，则A×A中的元素有（）。

A.6个
B.9个
C.3个
D.8个

单项选择题在自然数集N上，下列定义的运算中不满足结合律的（）。

A.a*b=gcd（a，b）（a，b的最大公约数）
B.a*b=a-b
C.a*b=min（a，b）
D.a*b=a+b

单项选择题具有3个结点的非同构的无向树有（）棵。

A.4
B.3
C.2
D.1

单项选择题设A={1，2，3，4}上的关系，则R={〈1，3〉，〈1，4〉，〈2，3〉，〈2，4〉，〈3，4〉}具有性质（）。

A.对称性
B.自反性
C.传递性
D.非传递的