则

设A, B, C是命题公式，则AVBV﹁C 也是命题公式。

无向图G为欧拉图，则G是连通的。

“如果1+1≠3，则2+2≠4”是真命题。

若A和B都是谓词公式，则(A∧B)、(A∨B)、(A→B)、(A<->B)都是谓词公式。

若关系R是对称的，则其关系图中若两个结点之间有弧线，就一定是有双向两条弧。

如果a是集合A中的元素，则称a属于A，记作a∉A。

设〈G，∘〉是一个群.若存在从〈G，∘〉到〈H，*〉的满同态，则〈H，*〉也构成群。

在格〈L，∨，∧〉中，如果交运算对并运算是可分配的，则并运算对交运算也是可分配的。

 设 ，则 的幂集是 。

若浮点数尾数共5位,则规格化尾数的负数形式是______。