设〈S，∗〉是代数系统，B 是S 的非空子集，则〈B，∗〉是〈S，∗〉的子代数。

在代数系统〈S，∗〉中，若x∗y =x∗z，则y=z 。

判断题在代数系统〈S，∗〉中，若x∗y =x∗z，则y=z 。

p∧¬q 的对偶是¬p∨q 。

判断题p∧¬q 的对偶是¬p∨q 。

A，B，C都是集合，如果A ∪B=A ∪C ，则B=C 。

判断题A，B，C都是集合，如果A ∪B=A ∪C ，则B=C 。