问答题试证明属于关系不满足传递性，即对于任意的集合A，B，C若A∈B且B∈C不一定有A∈C。
判断题任何群G都至少有两个平凡子群。
判断题K3既是欧拉图又是哈密顿图。
判断题P（A）是非空集合A 的幂集，则P（A）上的真包含关系是P（A）上的偏序关系。
判断题联结词集合{7，→}是功能完备集。
