问答题 给出一个解释I，使得在I下，为真，而为假，从而说明。

问答题 试给出实例说明，在自然推理系统中使用和规则时，如果不符合规则要求的条件将可能“证明”错误的推理。

问答题 判断下列集合对于给定运算能否构成群，并简要说明理由：关于矩阵乘法。