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

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

判断题

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

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

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

设R和S是集合A上的关系，若R和S是自反的，则R￮S也是自反的。

判断题设R和S是集合A上的关系，若R和S是自反的，则R￮S也是自反的。