数学逻辑问题a=0或b=0的含义