判断题 无向完全图是每对顶点之间都有一条边的无向图。

判断题 集合关于普通加法运算能构成半群。

判断题 公式p→（q→r）与（p∧q）→r 等值。