反证法的问题
判断下列命题：三角形三内角至少一个是锐角.
假设没有角是锐角.（很容易证明出不成立）
结论：该命题为真命题.
但是,三角形实际上至少有两个是锐角啊!这个命题算怎样呢?至少一个说明可以一个啊,但实际上不可以一个啊!这个跟准确不准确好像没什么关系啊