数学语言的严谨的原因？

“不是不喜欢你”和“喜欢你”是不是一回事？

“无罪”和“未证明有罪”是不是一回事？

“正确”和“未被推翻”是不是一回事？

《数学思维导论》第40页

语言形式对意思的影响。课本第5题和第6题是非常有意思的，作者一直强调数学语言的准确。数学语言和生活日常所用有些不同。在数学中，原命题和否命题只能一真一假。而在生活中还一样吗？

例子说明。美国法律，原告要证明被告有罪才行，若证据不足，法庭会给出“无罪”判决。这并不等于被告是无罪的。有罪的否命题是¬罪。那么，¬罪和无罪是不是一回事？¬罪和“未证明有罪”是不是一回事？

另外的，经济学理论的验证有，正确的理论和未被推翻的理论。那么，未被推翻的理论就是正确的理论吗？也不一定，可能今天未被推翻，明天就推翻了。

“我对这电影不是不喜欢”，在数学中这就是¬（¬喜欢）。那么，“不是不喜欢”和“喜欢”一样吗？后者的程度要强烈很多。

联想。在朱锡庆《知识笔记》中提过，语言真是好啊，能表达许多内容。问题是人的感情太丰富了，相比之下，语言有时苍白无力。昨天整理笔记看到的一句话。现在用来正正好。

读数学