设S(x)：x是人，G(x)：x会思考，则命题“人都会思考”可符号化为______。

填空题一个具有10个顶点的简单连通无向图的边数至少为______，至多为______。

填空题命题公式﹁P∧Q∧﹁R的小项编码为______。

填空题设A={2，4，6，12}，a*b=gcd(a，b)，即a、b的最大公约数。代数系统〈A，*〉的幺元是______，零元是______。

填空题设集合A有3个元素，则A上的等价关系有______个。

填空题设R={〈3，1〉，〈2，3〉，〈5，3〉，〈3，4〉}是集合A={1，2，3，4，5}上的关系，则domR=______，ranR=______。