问答题 验证＜F，°＞是一个群。

问答题 给出运算的运算表。

问答题 在一阶逻辑下，分别在（a）个体域为整数集合、（b）个体域为实数集合时将下面命题符号化并讨论命题的真值。 （1）凡整数都能被2整除； （2）有的整数能被2整除。