计算题

设G=，证明：G关于矩阵乘法构成一个群。

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

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

给出运算的运算表。

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

在一阶逻辑下，分别在（a）个体域为整数集合、（b）个体域为实数集合时将下面命题符号化并讨论命题的真值。 （1）...

问答题

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